{"entities":{"Q4338040":{"pageid":6367640,"ns":120,"title":"Item:Q4338040","lastrevid":46736613,"modified":"2025-12-25T12:07:34Z","type":"item","id":"Q4338040","labels":{"en":{"language":"en","value":"On the Decision Problem for Two-Variable First-Order Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1014223"}},"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":"Q4338040$2497C43F-3F1F-4FCB-B5FA-C9384D426EBD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"84133a46446f9e69af1c89a7e7304086d734d968","datavalue":{"value":{"text":"On the Decision Problem for Two-Variable First-Order Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4338040$DD7B3399-02C4-4FE4-A7FE-B7D8F9ADF59B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d5fbfdca89231a7f6369e6b9a3f2f360fc8919d","datavalue":{"value":"0873.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4338040$C04F7585-9A11-428A-AE0D-CF0ED72165AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd17edb921199d7616801bc5f98fbec009f5d910","datavalue":{"value":"10.2307/421196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4338040$0C685811-ECD2-44E2-B245-90001EF37493","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d92e5b50a477cfe238ac688c9a8eb0ddc7ad041e","datavalue":{"value":{"entity-type":"item","numeric-id":204638,"id":"Q204638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338040$74B1C7C6-F7E3-4D16-8CDB-9481BFA41D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03a244f3a3971e8ae5c09ca1ba10c024a323f6db","datavalue":{"value":{"entity-type":"item","numeric-id":269316,"id":"Q269316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338040$72497C3B-1CA5-4AB4-9958-3FAC3A2DE881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338040$7718D09D-039F-491D-91EF-5F1AA5889773","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d00f9d13ed39f59c9c1392ae0c1f7dc89d06bd50","datavalue":{"value":{"time":"+1997-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4338040$B33CCDEC-5058-433C-8D84-87A6DBB6B76E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e53654c24acb53a05d38645b8ccbcf39db6936d1","datavalue":{"value":"https://semanticscholar.org/paper/24fe6d8f1fdec294278632bedccdc1c5e9fc6234","type":"string"},"datatype":"url"},"type":"statement","id":"Q4338040$391D06AC-B987-42AA-A432-D9A9EAE100A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"29bfb95ccffd6a1b0096bd059b98c2568be1dbb0","datavalue":{"value":"http://www.math.ucla.edu/~asl/bsl/0301-toc.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4338040$88006EA9-EDBF-49B9-AC04-A338FE3A0CB0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4338040$F09AB40E-E970-4608-BF0C-B21C29CE8D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4338040$C97516CD-8FD5-4E85-8FEE-DCED32E5B440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4338040$AA2CA578-FBD8-470F-A025-FF973A940917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4338040$2662D149-4FAC-42D0-8347-53879F940EFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb3310c0db772647c9c5f319b1a4b8b227dbcad3","datavalue":{"value":"1014223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4338040$3193C1E9-917F-4CDD-9C94-A6C6474890A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a32879455c8bd36d4749e96958cfee2d78277fa3","datavalue":{"value":"size of a model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4338040$B07257DB-64B4-4580-9A64-FD31F814105D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4338040$89B8136B-22AE-4403-ACBB-B1323E841CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"115bac38ef0590b767dec36030d97dd09838e16b","datavalue":{"value":"satisfiability problem for FO\\(^ 2\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4338040$5845BC0C-4F58-44F7-AFDB-45AE7CB9B098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"585ab861b229ccd5ba6ce893623d4a52dfb5ae72","datavalue":{"value":"fragment of first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4338040$E40B1271-0FB7-4350-9A63-70BFD86AB6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83798e1bbc00101714db436c991cc16b2064467d","datavalue":{"value":"finite model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4338040$7C99FDA2-20F1-41BD-BF4E-6601AE8C8595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47ffb11d311f15e75105378f70577a0fb9401923","datavalue":{"value":"NEXPTIME-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q4338040$6836503D-C95A-4699-8FD1-5CA517F0129D","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":"Q4338040$290D8D9B-A3C8-4044-9C8C-C37808B65FE6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a05571251cb52a2ec550e15840a14c467b0ad72c","datavalue":{"value":"W2124580444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4338040$AF4F8FA8-006F-45E6-A86D-0C5752C4C206","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7d5f7fdd407b024c3b8e20cb24651ffce7db825","datavalue":{"value":{"entity-type":"item","numeric-id":1134756,"id":"Q1134756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338040$FC2319D8-3E6B-4296-8285-8BB98D066438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338040$59A79164-49DA-49E4-AD4C-FE556BB55AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9035a3503d06ad7946ad5c060940ce1e7b476e","datavalue":{"value":{"entity-type":"item","numeric-id":3905252,"id":"Q3905252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338040$FBFF00FE-27D0-4036-999C-E4769EF03AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3ecf2a58a0d285969621dcb728618dd85cd1088","datavalue":{"value":{"entity-type":"item","numeric-id":1893734,"id":"Q1893734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338040$8D425E6B-2663-460C-8C2E-9BCDA1B53FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edf96fd313efea8fcdd4baf3f82e7012dac99f22","datavalue":{"value":{"entity-type":"item","numeric-id":4110975,"id":"Q4110975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338040$60065B3D-C3FE-4375-9735-EE735B1AD4E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338040$9FD0D1AA-3D31-41A4-B793-6AAC13E23EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a148332df5be6c31f6fc4494debba0cd2f167d77","datavalue":{"value":{"entity-type":"item","numeric-id":5764761,"id":"Q5764761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338040$9A699D2E-55CC-4B82-A8BB-A29F082F0761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338040$A54D194B-776B-40E4-8696-594CA130C7FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d6e5a2ec66a572177ef7c34d7ff9e3c5a3050d5","datavalue":{"value":{"entity-type":"item","numeric-id":1157324,"id":"Q1157324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338040$596CFF36-AFC2-4DD7-BC53-CA0B3D33F9D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"446f1e7359d727b7ebadf68424d4ea447292feff","datavalue":{"value":{"entity-type":"item","numeric-id":3856727,"id":"Q3856727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338040$712B32F8-E962-4AA7-B0D9-13669949AE4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338040$2A99F03C-1DE2-43EA-B520-F78CCFCE71AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"207fe11e890496516434bc3ee50b5c99ac0185fe","datavalue":{"value":{"entity-type":"item","numeric-id":1204528,"id":"Q1204528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338040$E3DD0218-D382-4B0C-975A-7B5600D1518B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37324faf442bf31ec7718a4b62bbdff48cea6206","datavalue":{"value":{"entity-type":"item","numeric-id":960526,"id":"Q960526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338040$051B6A01-A73F-409F-8AB7-833255728876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"666440284a477c836e1dc9673229eb9c31b3c47a","datavalue":{"value":{"entity-type":"item","numeric-id":1193591,"id":"Q1193591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338040$43A22FCA-797B-404D-BFAA-FD5E32476AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b051bb91a42a31736fdd8d09157004cdcec793d8","datavalue":{"value":{"entity-type":"item","numeric-id":920075,"id":"Q920075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338040$0A1381B6-CAF9-4E86-BF61-5CE31868AE66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e75e4b3053c11ea81fcf4596eaa34e5a03216da","datavalue":{"value":{"entity-type":"item","numeric-id":1839571,"id":"Q1839571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338040$54928A02-5586-43D2-BA8C-58D5708B8C51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"631dd448ed94a161dd5275cc06d6f96081ad289f","datavalue":{"value":{"entity-type":"item","numeric-id":922523,"id":"Q922523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338040$EFF4BE9C-E915-4F82-B1FA-D5E379B128B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f8cc16e281ce4159d16a36a879ae497debfa582","datavalue":{"value":{"entity-type":"item","numeric-id":3781066,"id":"Q3781066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338040$1747B996-BB17-4F06-A871-CA95AA2817FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18d639fb9d03ad258814bab0f3f43d6d28e28a1e","datavalue":{"value":{"entity-type":"item","numeric-id":1173404,"id":"Q1173404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338040$6978EE43-4747-46AF-8EDE-4A70E8912E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8692698e912424588919ccbdb87259269ae9d2","datavalue":{"value":{"entity-type":"item","numeric-id":1193476,"id":"Q1193476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338040$8126C370-1967-4553-AB96-51DEFA8A633D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07b4a5481d2ba20db96403c8a94b2eeed3801b42","datavalue":{"value":{"entity-type":"item","numeric-id":3477999,"id":"Q3477999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338040$53D1369A-65FA-4DF2-97AF-F02CC733D214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fe471308125d65582632b7b24e6589f89c33d6","datavalue":{"value":{"entity-type":"item","numeric-id":1090675,"id":"Q1090675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338040$BB0BFEFF-6303-4210-8405-19A77CA2B5E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35a30314b632b250e8a59250760b20fe6c7c9665","datavalue":{"value":{"entity-type":"item","numeric-id":915716,"id":"Q915716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338040$59367049-FF9B-4AEF-81C3-854F633C0CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc87ad8b718d652fb612db8e727345bcdad12278","datavalue":{"value":{"entity-type":"item","numeric-id":3695253,"id":"Q3695253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338040$5C5CC34F-8DBB-4082-9DB9-A259DD85F7B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338040$C9E52A55-F11C-437A-B3F1-A27441F822F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4942ac63911df7f5fa4adc09cd7bac4b3e8360d7","datavalue":{"value":{"entity-type":"item","numeric-id":1839892,"id":"Q1839892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338040$0C895731-5751-457A-B10D-7F3E870A9166","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338040$F9476260-F434-46C3-9C28-013D01F58657","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbae6fafa873b776d56141c1686ea0d10f5c1ef7","datavalue":{"value":{"entity-type":"item","numeric-id":1960419,"id":"Q1960419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"198c1575789ce3e9caf21797b7f4da518f4f493c","datavalue":{"value":{"amount":"+0.8708167672157288","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":"Q4338040$D5E36A57-A556-46E5-B3E6-ED14F3726564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbe432c4cbedfe36f6f9d088a1b5998db47f081b","datavalue":{"value":{"entity-type":"item","numeric-id":4943858,"id":"Q4943858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8024b4be8b90997c5ecf6b510a69bdf2c2d660d2","datavalue":{"value":{"amount":"+0.8472644686698914","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":"Q4338040$DEF6BB81-3CC7-4E19-AC35-94F42AAD6874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06f6a50e9a1e2200c7d08129c1a8425258d7a8ac","datavalue":{"value":{"entity-type":"item","numeric-id":2915891,"id":"Q2915891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57114bdd278615eafdd7ecf9cab027da209da7ce","datavalue":{"value":{"amount":"+0.8453106880187988","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":"Q4338040$D6933C49-A3DB-4175-B208-A2970003DE0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4338040","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4338040"}}}}}