{"entities":{"Q2915678":{"pageid":2926398,"ns":120,"title":"Item:Q2915678","lastrevid":51556139,"modified":"2026-01-18T18:44:32Z","type":"item","id":"Q2915678","labels":{"en":{"language":"en","value":"A decidable quantified fragment of set theory involving ordered pairs with applications to description logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6083535"}},"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":"Q2915678$DDC17B0C-7289-4FD1-85CA-0D21822FD421","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8422e2e373fc0f8cd5f79cffd4f4848c0e77da6a","datavalue":{"value":"1247.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915678$D0D211A1-45F7-43E8-84F9-00A3867C9347","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5128676afd48f5f15760e43556d4ca2d4175b4bb","datavalue":{"value":{"entity-type":"item","numeric-id":313071,"id":"Q313071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915678$88A8B873-E6E6-4531-AC74-945ED1AC654F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e524e6a5b0294dd1c05a1ab8f416f23fbe4c7c7a","datavalue":{"value":{"entity-type":"item","numeric-id":477205,"id":"Q477205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915678$E9600CF2-863F-4A19-83AF-77CE7136CEC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df9cd3dd7f2fdc487d61a2d3b36f6537d88acf6b","datavalue":{"value":{"entity-type":"item","numeric-id":737086,"id":"Q737086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915678$E75CE61F-D9CA-4F19-B219-2193E652F6A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8116af7574c2cac3c55da1a071af8f6c18a63659","datavalue":{"value":{"time":"+2012-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2915678$3F19B703-AF36-496E-AAA7-D5378B7C3EAC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b432a3b2a85346f92ae801d03a0053386f5da2d","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_488e.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2915678$1BEBC0EF-9EF2-409F-A66F-54B660C5BE5E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915678$5E771571-BB1E-4FDD-8225-BE3C2FCFDAF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d6d1b45c606677a96fadd625efc72a171c20037","datavalue":{"value":"03E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915678$565E737F-54C4-4A0A-A3D4-234AE4EEA4B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915678$8739151B-EB52-4C17-817D-CD0EA39EF3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915678$16479C80-4A06-4266-A2AB-ADC21DD56B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915678$D16F38F4-4A50-4443-885D-B5D5A3A313CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95db2b5fa588232f5c602ab2e17d197292dbe818","datavalue":{"value":"6083535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915678$AD48893A-FB67-444A-BA0C-663F1BD4FC08","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4975a48824abd6bac6f211f7350438f61d34e79a","datavalue":{"value":"NP-complete decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915678$4321C7F7-4B3D-48E7-B896-B2BDAC5418E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915678$2F36A720-ED55-4FC6-B547-767FEACBCD75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77316cafbf798ae736c7dd9eb52c12d55059f0f0","datavalue":{"value":"description logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915678$6F52E515-CDA3-44B6-8262-278FE3C65FFE","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":"Q2915678$D82F9B44-3C16-46B2-99E3-7AF4F7484AFA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"38e713c93a2e3f13f0027f144d2221d444b1f73d","datavalue":{"value":"W2241410135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915678$FE64E046-400A-4DF6-82C5-806D2F7D6E60","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a55ecf1dfe8492088ff98cf726bd077712f0f5f5","datavalue":{"value":"10.4230/LIPICS.CSL.2011.129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915678$3A88BF23-DC1E-40E7-92B4-9F0F3132D4D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"26bdbb34f71a5feee48d34ae9958fe7ae4027f64","datavalue":{"value":{"text":"A decidable quantified fragment of set theory involving ordered pairs with applications to description logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2915678$8C55733D-6833-4E50-A373-C56E8D992A1D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0419543bc1078792c29b3756c70500d712a5f926","datavalue":{"value":{"entity-type":"item","numeric-id":4986517,"id":"Q4986517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7d4489060c6a0da9e7e81b20403063f84abf769","datavalue":{"value":{"amount":"+0.8447180986404419","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":"Q2915678$213306CF-5601-4F19-A296-834589547F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa71cd3b1c9476b91bf7510fb1f764dcc3cf3a0e","datavalue":{"value":{"entity-type":"item","numeric-id":477206,"id":"Q477206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc997d4e13460689f2d662a30db6e88497713581","datavalue":{"value":{"amount":"+0.8223803639411926","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":"Q2915678$DF396882-421A-4BFE-AFEF-0634C86FC449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa29568d4075b890fe92b5296e609cb9b3cd6e06","datavalue":{"value":{"entity-type":"item","numeric-id":924723,"id":"Q924723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c09ce1565fead1e81dd3fdc7746a7a4bec614cc9","datavalue":{"value":{"amount":"+0.8185449838638306","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":"Q2915678$A87C2F7B-771E-4267-9627-E59D09A85B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d0568d24c9e46037cb3f44ec1e2681db6202fb6","datavalue":{"value":{"entity-type":"item","numeric-id":2360184,"id":"Q2360184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab8711f5fc360dd0a2aed14da9221f1640d39052","datavalue":{"value":{"amount":"+0.8093756437301636","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":"Q2915678$15272E74-0C1E-4DCF-84E4-37A8B3CFC37A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e7b2a40504e54dcc4b9686d0c8e6a53d6f18c57","datavalue":{"value":{"entity-type":"item","numeric-id":4589601,"id":"Q4589601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf7ed441126f095f890d42422fbcfedb5c2e543f","datavalue":{"value":{"amount":"+0.7872704267501831","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":"Q2915678$2F007C5B-940D-4E42-AA2B-EDEE0F952610","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2915678","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2915678"}}}}}