{"entities":{"Q2957894":{"pageid":2968613,"ns":120,"title":"Item:Q2957894","lastrevid":52731473,"modified":"2026-01-23T09:23:42Z","type":"item","id":"Q2957894","labels":{"en":{"language":"en","value":"\\(\\mathrm{FO}^2\\) with one transitive relation is decidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6678930"}},"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":"Q2957894$6232DF70-536A-44AB-93DE-385302728F9D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee25bc36cd6ad1eff843f4cc7e00dfd31a5a3bbe","datavalue":{"value":"1354.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957894$87FDE68B-53B3-4BC3-AEDA-E4334870CCDB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5dc81f9560041386f0dfc580bd85b6eb41aa045","datavalue":{"value":{"entity-type":"item","numeric-id":757355,"id":"Q757355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957894$9CEE61EB-863D-42AB-AA93-9961D5A49EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad52f3622bd4915d7c3f60cddd347bada6821c98","datavalue":{"value":{"entity-type":"item","numeric-id":1877097,"id":"Q1877097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957894$A938AA91-CBC4-419C-A182-AE1417C7F020","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1d208a972848f97d8e4747f80e7fee369c4254c","datavalue":{"value":{"time":"+2017-01-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":"Q2957894$5FD0E8D4-BE21-42C4-9404-5FDB979996A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957894$BB4DCC79-9C6A-4044-AE96-03747648EC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957894$9BEF8EFC-7283-453B-8E90-842A511A7B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957894$816A197F-1FA8-452E-91E4-8DE36E0D4610","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"887bc4cb964243136b1bc3214b613966e3922a71","datavalue":{"value":"6678930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957894$160E7838-A502-418B-B889-38FE792AB6E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5006a9920f4095d0164c81800402e769b3f84a37","datavalue":{"value":"classical decision problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957894$D9B35D53-2DBB-4F4B-B481-4DA1A24BBB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"771baa32a7ba9b4505a64a417192abdaa4eb63db","datavalue":{"value":"two-variable first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957894$4FAF6584-33A7-4DEE-9106-9D49DAF90C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957894$7F0D15BE-E66B-4A36-892C-6FC6562B5147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957894$2BF80DAF-1B1B-43D4-8DA7-CA1EAB9E5973","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":"Q2957894$68687A62-32B8-421F-9687-517CE13D0B2F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d2b7c3295093fa592fb21cd6005312c0c99ee9e9","datavalue":{"value":"10.4230/LIPICS.STACS.2013.317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957894$36EADFA6-93B8-4991-9CC6-E30EC21251A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a4e5f74fd2d88b826f67efccc16a579722b7cdf","datavalue":{"value":{"entity-type":"item","numeric-id":5109226,"id":"Q5109226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e890cb4845bdca6ba2a8112c7bdb19360554daa0","datavalue":{"value":{"amount":"+0.9101789593696594","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":"Q2957894$2DC962BD-0674-4BEB-A0F1-57DC8DCEBDCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9577de63a82711088442928b38a8d0d6c54658cc","datavalue":{"value":{"entity-type":"item","numeric-id":5212557,"id":"Q5212557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e5302eea97ca4d9d7dd8f001ed15fbdbd5184a8","datavalue":{"value":{"amount":"+0.8718955516815186","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":"Q2957894$CE494DC3-AA26-4666-A68F-2C912E826AD3","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":"96dfd9c7687a511172e648f91d75806598aec8b9","datavalue":{"value":{"amount":"+0.8253616094589233","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":"Q2957894$0581CCA5-56FE-4308-A273-066A445BA589","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":"c71e68ecf2c0470dc05205f1b2f75abddb19958e","datavalue":{"value":{"amount":"+0.815048336982727","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":"Q2957894$9022C243-241E-4070-A608-6472CD594DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b60072a23643e70f27e5251532f39013b8acf98","datavalue":{"value":{"entity-type":"item","numeric-id":4649561,"id":"Q4649561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af5633dc0ce7cf952ea83c03050f47adab89f10c","datavalue":{"value":{"amount":"+0.806674063205719","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":"Q2957894$C7F92FA9-0015-454F-89B9-3AE68A7E6A44","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2957894","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2957894"}}}}}