{"entities":{"Q2747711":{"pageid":2758450,"ns":120,"title":"Item:Q2747711","lastrevid":47685232,"modified":"2026-01-02T10:33:39Z","type":"item","id":"Q2747711","labels":{"en":{"language":"en","value":"Two variable first-order logic over ordered domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1658168"}},"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":"Q2747711$4354F783-5EE0-4DB8-9BC2-1BA0F1638330","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"021c44e308eac9f660d1743efb17a31c0086e955","datavalue":{"value":{"text":"Two variable first-order logic over ordered domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2747711$351B0F7A-7A68-46E0-8B76-995EE39DC9C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"278c24d4ae90bc6cb962889c6ef47cdece50dc29","datavalue":{"value":"0990.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747711$56760744-4F1A-4EB5-9176-7FD3B152D16A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"552db2937d092e939173941ed2a92552dd4f4a30","datavalue":{"value":"10.2307/2695037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747711$C82CD90B-96EA-4FFD-81BE-7A927BED012B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3d44d2e806c94564ac8ed3016d0ed20fdb29f21","datavalue":{"value":{"entity-type":"item","numeric-id":490671,"id":"Q490671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747711$8D8EFBDA-FA4C-4F71-8A22-7736A488D6E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da39a7fd1a76a539516fc1c6fcfdf3ed355f9814","datavalue":{"value":{"time":"+2002-07-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2747711$52652FEA-7329-4AB5-848A-555A3C6520AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747711$F0F6F9A2-D922-45FE-94CF-C6553C6B7493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747711$3FFC2CCE-1349-4776-8A5B-2C2C61FB4960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747711$805D0972-1036-4BAF-A774-05266AF1E857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747711$8BD96ECA-3A93-41DD-AB50-429B8DC46DA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d90f47f27b2e2c386c0499ca5853ea09d3cca0ef","datavalue":{"value":"1658168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747711$3E626089-7740-4BF4-BCD5-634236E2C96A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2747711$09830295-EB61-4C5C-8DD6-ACB3475F7086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b21badfcdc1715a6a4d7728449949f1552058a77","datavalue":{"value":"complexity of decision problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2747711$0A951C88-FC8A-4FFE-BFDC-0EA02F63B786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2747711$D35D407E-5E4F-4D06-82C2-64A3685984C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a6c8788641cb03945baa7ced12c6f65b2a777e5","datavalue":{"value":"two-variable fragment of first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2747711$145CB769-2878-4C70-BF09-0284167250E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"352e0e98b1946578a4d14d613a018d2c7e6139e7","datavalue":{"value":"finite satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2747711$766A66DA-5DF2-4BA9-8237-53B640840C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2747711$7D8C13CE-C3DB-4082-895C-2A2775E435B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75e78cd0204d4d31855e84e0e74f34cbe7774a40","datavalue":{"value":"computation tree logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2747711$9A463F97-0913-4414-ABBE-0DBF1A62B98D","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":"Q2747711$6965022F-E1A2-4DEB-B630-B1F3BBEBFD91","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3169ab45b85ee2d057808b877d7d7b7f545be885","datavalue":{"value":"https://doi.org/10.2307/2695037","type":"string"},"datatype":"url"},"type":"statement","id":"Q2747711$597546A9-79DA-41B8-82A4-C466D7F8A783","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7046e6861c5ff06b3c7695ed7ee799329d56905d","datavalue":{"value":"W2104419987","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747711$14135597-0554-4A68-B60E-9FEA7C0950C2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19d4c961176e9452dd55fdddf2406cd05d35f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4338040,"id":"Q4338040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747711$75EB8CF5-109D-413F-ABC1-ECE6A1FC3FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55ecfe194d2e69edc93cb9e4deccd0dcebf83e34","datavalue":{"value":{"entity-type":"item","numeric-id":1960419,"id":"Q1960419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747711$855BDDFD-FB6C-409E-A017-DC00D7FAE761","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":"Q2747711$1D3260A5-CE7D-42B0-AB6A-87D8DA1DAAF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bad9f193d7f99d60421d2d4b0e291b7be2d43c8c","datavalue":{"value":{"entity-type":"item","numeric-id":2556400,"id":"Q2556400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747711$9DC60D25-0C9E-4865-BE4C-F3DDF1A0662B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceee423f2871a02f0107d5afca7ea76f0467e56a","datavalue":{"value":{"entity-type":"item","numeric-id":1306795,"id":"Q1306795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747711$60376C76-D031-40FC-AD0E-E8FEA78A5CA5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747711$6FAEBB81-9496-446B-AE97-347B0933A816","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f309b07b5b416ab2fedfbe8171862759e16a28fc","datavalue":{"value":{"entity-type":"item","numeric-id":5901154,"id":"Q5901154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2c558d789039a197b2c5753147f3737bd4c7825","datavalue":{"value":{"amount":"+0.8481283783912659","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":"Q2747711$711A40EA-90A4-480F-B790-E43788FEC95B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46e5c0f7ac44aa3d0bf33b8fa840bdaaf514ea52","datavalue":{"value":{"entity-type":"item","numeric-id":5351987,"id":"Q5351987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"497810071182dd96072ca99b198ec60ba5253cce","datavalue":{"value":{"amount":"+0.8464910387992859","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":"Q2747711$D537B64F-2566-4398-999C-6A19EFD9A110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53b9af3deaa7b5dbb5fe1de484b40d10a711df54","datavalue":{"value":{"entity-type":"item","numeric-id":3586109,"id":"Q3586109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a8e132c40f08bc2912ad653b0e1818669a5166c","datavalue":{"value":{"amount":"+0.8437541723251343","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":"Q2747711$B418EFD4-B03C-44AA-9B55-32B214D717F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43243832a8209ee9530d7e4f312109d284920499","datavalue":{"value":{"entity-type":"item","numeric-id":2915693,"id":"Q2915693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3517055f7eef1bd01e79ffc20fa26b65529edc32","datavalue":{"value":{"amount":"+0.8418377637863159","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":"Q2747711$AA5D9757-B3F4-4C96-B449-A041B7254BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a304c1062e951dd9b2361070458a9ba6597c62d7","datavalue":{"value":{"entity-type":"item","numeric-id":4338040,"id":"Q4338040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04e9a9976906e049ddeedebe7ce314a718a3dae3","datavalue":{"value":{"amount":"+0.841047465801239","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":"Q2747711$994B5FB3-448B-4A87-B09E-E0DEC1A042F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2747711","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2747711"}}}}}