{"entities":{"Q2373700":{"pageid":2384443,"ns":120,"title":"Item:Q2373700","lastrevid":50129729,"modified":"2026-01-13T06:00:30Z","type":"item","id":"Q2373700","labels":{"en":{"language":"en","value":"On decidability of monadic logic of order over the naturals extended by monadic predicates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5171326"}},"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":"Q2373700$A47915E9-028B-42EF-B6FE-95744EF57CB4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"91915ed3d45e1ea2c64c115fe37cabcfde6ae563","datavalue":{"value":{"text":"On decidability of monadic logic of order over the naturals extended by monadic predicates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2373700$44468E81-766B-42E8-8E0E-7280C1A58958","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e97099550c4c12fb44fa755344b9f435cbff2fb","datavalue":{"value":"1115.68100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373700$2456EB69-F33A-43D6-92D7-3A411AB7EE1B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91a6d5b55b11b7c5072badc33d9b23eaf1c7a459","datavalue":{"value":{"entity-type":"item","numeric-id":259067,"id":"Q259067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373700$52803148-24FA-4B44-B698-8C620E806F23","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373700$303D9B56-255A-4D7E-B3CF-6288876F70A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e3acd577c56b212087d574010dc1f6e1c3c3b90","datavalue":{"value":{"time":"+2007-07-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2373700$2922A4BB-6C4D-43A4-A426-9782A79D1956","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373700$48245264-2A11-411E-8999-15F4399156E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"389b7d7225fac80f154715f7d099b16a6edae8cb","datavalue":{"value":"5171326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373700$73CA082B-D278-4B96-B87B-6D470FF327AB","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":"Q2373700$AA26E058-2617-42E1-9D59-CAF8B8013E56","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b287e9f006307d0471f75c96f9363278f3be378","datavalue":{"value":"https://doi.org/10.1016/j.ic.2006.12.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q2373700$57B0B593-7A9E-4B96-8082-2C4C123E2DBD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9cf62c49884bac05dfa908d112ae0af8f1ae4a2d","datavalue":{"value":"W2155041413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373700$25D1A4B3-A689-464C-B0D1-66F885A67A79","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373700$C6CDD357-844B-4B64-BDFF-0C541E3D0F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eed95bbddeb07790db452fc32f143b39f90e5aa8","datavalue":{"value":{"entity-type":"item","numeric-id":5573394,"id":"Q5573394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373700$91FCEE64-E7F8-4D0E-9BE5-712F5B9FDBFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f58d939e2c8c04924eebb344e56f33752fd2ca58","datavalue":{"value":{"entity-type":"item","numeric-id":4536363,"id":"Q4536363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373700$8FD2E2E9-A228-48D0-9D46-7E491EF946FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3612f7392d0497babaf5ce5e0add442ad7862811","datavalue":{"value":{"entity-type":"item","numeric-id":1854542,"id":"Q1854542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373700$E6793FDA-C74C-4AA5-A720-FD04834F74A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f84c82de96fb7c7b710e84da042fa6d2d7d4ea68","datavalue":{"value":{"entity-type":"item","numeric-id":5520636,"id":"Q5520636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373700$2306D691-87BC-4AD6-B443-9E49F9E3E089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a0035cf4540a200f752e67616ee09960bd2d41","datavalue":{"value":{"entity-type":"item","numeric-id":3261418,"id":"Q3261418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373700$4DB8EBAD-0B8F-404A-8813-087EE3198546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c53155ed2f276e6564d9eb96f81f64e376b678a6","datavalue":{"value":{"entity-type":"item","numeric-id":4391426,"id":"Q4391426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373700$B5659DA2-6B84-40B7-BBA2-2F58542ED35A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1564a519fe0bf3a4fee6ef14a1d6320ce090b306","datavalue":{"value":{"entity-type":"item","numeric-id":3613363,"id":"Q3613363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373700$FDCE142A-3E43-44D1-8333-C4D652C71798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d22fbcfa2d6e1af372e7c17de51dab01cf08e0c0","datavalue":{"value":{"entity-type":"item","numeric-id":3848968,"id":"Q3848968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373700$26E2C185-3F48-4008-B3A6-FD4E183E6210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37d179bdd83dd52ebb1134a0d415ec33f0098896","datavalue":{"value":{"entity-type":"item","numeric-id":3328515,"id":"Q3328515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373700$DA3BBC12-83C5-4D90-BF09-CB8E80F4C5B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c74e20c9157021aaf7d8167c88d779be5f8df1","datavalue":{"value":{"entity-type":"item","numeric-id":1233019,"id":"Q1233019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373700$2F2176E4-372C-402F-A763-AC5797137611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ba3406cb2e9f31c4c080075755a19de1a0fbe18","datavalue":{"value":{"entity-type":"item","numeric-id":5614656,"id":"Q5614656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373700$C18E99A4-F6DD-4BDA-9287-42275255583F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5444d62b61ec4f0092db6e9182c1367d48f1504d","datavalue":{"value":{"entity-type":"item","numeric-id":4362730,"id":"Q4362730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373700$B860DB2A-A43D-4C0B-A444-400AE0B8A865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e765617be6c53999db47622e1c6d446a84e10149","datavalue":{"value":{"entity-type":"item","numeric-id":5586356,"id":"Q5586356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373700$EABDC1DE-B949-4B03-B25C-B712C03D0BDE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5cdc479f2e72f4b796e9369e11ed2a7482e8427","datavalue":{"value":"10.1016/J.IC.2006.12.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373700$4D28D8ED-0C8B-4DC0-BD1E-316B0FF058AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dec2f311e3e92cfd3aa10a05c7f5e68ec516055b","datavalue":{"value":{"entity-type":"item","numeric-id":3586024,"id":"Q3586024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"657077d65a2d441234e402b98f482b86befd17d4","datavalue":{"value":{"amount":"+0.824682891368866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2373700$BC654182-149F-48D7-A526-705B0A10FB50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"518089dc422fe9dc69281457a93d22739b5a61a1","datavalue":{"value":{"entity-type":"item","numeric-id":3613363,"id":"Q3613363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23c8fdb79984a69b0cddcdb49628767721dc1171","datavalue":{"value":{"amount":"+0.8134204149246216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2373700$9E789FAD-D991-441B-981F-52ED65A151A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6646c0a63c84f66e1b5690de9c1b10de97c0549","datavalue":{"value":{"entity-type":"item","numeric-id":4536363,"id":"Q4536363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f36119c5cdae0ac868772078882752b9ca2104a1","datavalue":{"value":{"amount":"+0.7826467156410217","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2373700$EB788C8B-4D87-4734-9FC8-825E6EB35BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80560144b6f5f8cab0538a1f199f1860b5e94d67","datavalue":{"value":{"entity-type":"item","numeric-id":1854542,"id":"Q1854542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2add288c204bee76b34133735385e5a8f30957c","datavalue":{"value":{"amount":"+0.7810562252998352","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2373700$7E5E16DA-55F1-457D-ACB7-D630E995D0EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6cf47cbb470274af9aa33e3c7d13f279a7e6dc7","datavalue":{"value":{"entity-type":"item","numeric-id":3346281,"id":"Q3346281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75b33304289478d0b2a6328a8d6becc81f90be4d","datavalue":{"value":{"amount":"+0.7721078395843506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2373700$64571B7E-2F31-4561-8EB6-6535636CD6EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2373700","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2373700"}}}}}