{"entities":{"Q4180322":{"pageid":6209923,"ns":120,"title":"Item:Q4180322","lastrevid":39414828,"modified":"2024-12-29T09:41:51Z","type":"item","id":"Q4180322","labels":{"en":{"language":"en","value":"Zum Entscheidungsproblem f\u00fcr Theorien in Logiken mit Monadischen Verallgemeinerten Quantoren"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3616394"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4180322$EE5F94E7-0616-44D2-A728-B2E3656561ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51cbc36e6c47bd2ca72c45c6f88ad08a7580e08e","datavalue":{"value":{"text":"Zum Entscheidungsproblem f\u00fcr Theorien in Logiken mit Monadischen Verallgemeinerten Quantoren","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4180322$C4BA33AD-E8E6-463C-A5FA-3BD8BD28377D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c1085301a5c3b0315b3ac63d439cd8b9c2f6012","datavalue":{"value":"0397.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4180322$B0B760B6-DE52-4588-8C1B-F74B1D37537D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30caab11f5fecb00c5932a8ffbb60876cbc00256","datavalue":{"value":{"entity-type":"item","numeric-id":1277801,"id":"Q1277801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4180322$8BB9745B-98E7-4CEA-B776-7EA1770D78FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e37b70c1c156ca795db15295b6a9eec87e7b4908","datavalue":{"value":{"entity-type":"item","numeric-id":307878,"id":"Q307878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4180322$C4D53ED8-B0B5-49F9-8254-829DD8677AF5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4180322$09117CDC-C9CC-4E4D-B447-38B32DD8E0CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4180322$7ED0EEE2-C47B-4E92-B867-27CA358432CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4180322$58DDE6E0-5753-49EC-9E9E-FDFC49269BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4180322$9FD1CE71-9FC5-4220-8972-7A36B419B650","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ccbf322d7e6068bce3a8371b8cf8e3129dd45a7c","datavalue":{"value":"3616394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4180322$540AD148-C13F-4D67-9EAF-90A234A10627","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbcd87c2859a65f9b0bb413994b99ae11da2ffa7","datavalue":{"value":"Haertig Quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q4180322$28A45788-46FD-40F2-9059-121107213C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe205c94c9319aeda4c0c7ac8f8ed9aebce3e0c7","datavalue":{"value":"Decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4180322$05AD4FE3-16D3-4973-ACE1-C22314672738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61cfb0eeb092bca64d85cefbab5fe184417ac08f","datavalue":{"value":"Generalized Quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4180322$376D601C-D52F-4A7A-8D93-537A85DED262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5769ef95a029e106a3288c009c676a3f6ad872e1","datavalue":{"value":"Theory Of Linear Order","type":"string"},"datatype":"string"},"type":"statement","id":"Q4180322$BE03B959-AD32-42C4-B418-C8E497BB8D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e8f1e36f25a855085b016ae65a4d47929a6d99","datavalue":{"value":"Theory of One Equivalence Relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4180322$BEFDDAE6-2196-4AAA-ABB0-B18880772E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"577b0f50a121bbc601715c90ffd3179bcb241df1","datavalue":{"value":"Universality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4180322$A6414880-03CF-4EB5-9EB2-F88FF2FF2C06","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4180322$516A70B9-D66E-49EB-B511-496BD424FA6D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"095933c9aa2d09392dc97d5fa7d4334dfae897a4","datavalue":{"value":"https://doi.org/10.1002/malq.19780241913","type":"string"},"datatype":"url"},"type":"statement","id":"Q4180322$940008A8-D87B-4B13-9B13-279A20736FCD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"40fd1081e767de73f298db2800ad8216baf15565","datavalue":{"value":"W1964613826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4180322$C6DF2048-725E-4CCF-B91B-6271D80AEDFC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"635d849496bc9fd4af0ec37207c30c56bba59bdf","datavalue":{"value":"10.1002/MALQ.19780241913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4180322$2CA04424-AAFE-470E-8000-DFE5468D9718","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4180322","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4180322"}}}}}