{"entities":{"Q5212557":{"pageid":7242128,"ns":120,"title":"Item:Q5212557","lastrevid":58479171,"modified":"2026-04-05T09:50:10Z","type":"item","id":"Q5212557","labels":{"en":{"language":"en","value":"On the satisfiability problem for fragments of two-variable logic with one transitive relation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7159840"}},"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":"Q5212557$ED3BF51D-D520-4393-9624-D13917DFF77B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"829e4c002490b2dcbfa16785a0bc30bfe9ecc9e9","datavalue":{"value":{"text":"On the satisfiability problem for fragments of two-variable logic with one transitive relation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5212557$09EA9C4E-FF00-466F-B49D-4E60D3315DEB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"897c7550d53265ac7b0ae885d98e5148437e456f","datavalue":{"value":"1444.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212557$B8DB8F01-6CDD-4CC3-9148-5D3D2DC05A54","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":"Q5212557$CE6CE524-47D3-4987-A457-3C9B3FD7075E","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":"Q5212557$7CD66147-0662-4D11-AA8D-DAE531B53F80","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36449951a56e6135e4ec71fa99d76436027843e1","datavalue":{"value":{"time":"+2020-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5212557$05FC3118-05BB-454B-82F6-042E40C47D10","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cabeacd188d281a897a31df3458197c3d599b385","datavalue":{"value":"https://arxiv.org/abs/1804.09447","type":"string"},"datatype":"url"},"type":"statement","id":"Q5212557$AED2A076-CC78-4EC7-B007-274C9C6FD9BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212557$1C7A609E-BAC3-40D7-9EB8-D277169789B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212557$1FF9B007-1F22-45CB-BE65-9FD7085B4977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212557$78D9876A-13CD-45FD-9872-92BB9C816BD3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e66cc85bc1b070fc1271f2cd207f3ad30de5041","datavalue":{"value":"7159840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212557$D6B7C1F9-D7B2-436C-9D9D-A9A611276583","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"771baa32a7ba9b4505a64a417192abdaa4eb63db","datavalue":{"value":"two-variable first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5212557$E41C76CA-A795-4E56-AEB0-15691E32B42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5212557$CD4C9C6E-2553-48F6-ABDC-F17285ECB3BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5212557$4D103296-4E28-4E6B-ACC0-5F1D469775A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49388e046339f86e6623a972cf68b5665500aba7","datavalue":{"value":"transitivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5212557$B046CEBE-4A7F-4EE6-ADAD-159EDFB2B024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5212557$12DE1557-6475-462C-A403-D6B17D4B6A5D","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":"Q5212557$A784B402-93C2-46DC-A23C-8E9EFA5A21C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"697baf487bc9374f0c459ce2429316f7864a9a0f","datavalue":{"value":"W2964843467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212557$E695A495-8AAE-41AB-9C66-832CCEAB1055","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"190c8739249073e52d229c9b120f922d2b5dd70b","datavalue":{"value":"10.1093/LOGCOM/EXZ012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212557$A494E15C-7227-49C0-8DD2-66F878394F87","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5212557$2932CBCC-668A-45B2-BD5E-586008724BB6","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":"eef12ab72b72bbda1f1c6b7948ea9e6747b8d0da","datavalue":{"value":{"amount":"+0.8938023447990417","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":"Q5212557$FE413ED2-E244-4B03-9506-663F2519ED93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c924c9d303bb811cf6991cfde56c94cb73cd557","datavalue":{"value":{"entity-type":"item","numeric-id":2957894,"id":"Q2957894"},"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":"Q5212557$102E267C-7D30-4515-99E0-FC456D829079","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":"5649d27666c4f7c458e71736f4d804927bb46406","datavalue":{"value":{"amount":"+0.8362804651260376","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":"Q5212557$C06F0E25-AE27-428E-8131-8B573C8C8580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b4a14426ac6b7b8f739f1c1c2b1a563fd18abba","datavalue":{"value":{"entity-type":"item","numeric-id":5387847,"id":"Q5387847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cffe9e3934b865e21550a0480410bbbe856f7be","datavalue":{"value":{"amount":"+0.8280714154243469","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":"Q5212557$A5D7869D-E918-467F-A50E-989EEB343F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f3764ce72dddbf30ded9e0e1d7022c0eb744009","datavalue":{"value":{"entity-type":"item","numeric-id":859827,"id":"Q859827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4796f2c8dad773ab281f4071899ce0e71fc10cdf","datavalue":{"value":{"amount":"+0.8168342709541321","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":"Q5212557$8A167278-7C2D-416E-B53C-4A6B5AB5720D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5212557","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5212557"}}}}}