{"entities":{"Q1863828":{"pageid":1874570,"ns":120,"title":"Item:Q1863828","lastrevid":73680996,"modified":"2026-04-14T16:53:59Z","type":"item","id":"Q1863828","labels":{"en":{"language":"en","value":"Monodic packed fragment with equality is decidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1880455"}},"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":"Q1863828$93325AEA-E7B4-47D8-BCBE-7DB3E11E145D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4641bbb9f3fe0b5f260035703290e3edcf4d178f","datavalue":{"value":{"text":"Monodic packed fragment with equality is decidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1863828$16B758D7-C096-4B65-BE77-A76959792A6A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0471c8c1d1ba4bf30a4519db558c98aa383770db","datavalue":{"value":"1011.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1863828$56260264-D2DB-434D-AC75-CA70238F5F59","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a18eec73d9eaf75e994a0623677454a6718699d0","datavalue":{"value":"10.1023/A:1021356410579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1863828$3B01D3D4-865D-40B5-80F0-8F74534E7BEF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1863828$F81DDD0D-C528-487D-8008-F97318D74D4E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"585d8400e4286d8eef8a207a8abbdf1f1910e204","datavalue":{"value":{"time":"+2003-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1863828$0B22EE77-20B8-47D3-8330-2CBFB1EABDB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1863828$DAB0EA2F-727B-46D7-A637-4E86B7466088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1863828$EC2D6A31-6DC6-4D23-B416-33B53DF534E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"676158ffab408956ca4422da7ecdc589a1f8e112","datavalue":{"value":"1880455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1863828$A9766E3C-BC07-4728-B99C-7C3A2ED23566","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2050e208b60cf98c3fa7e3f5fc4593c74dbd0bc1","datavalue":{"value":"predicate temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1863828$C138DCBA-7E8E-4028-BBCB-5029C9D36FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c6a7649ab250a206f7b6cfc5b10ce740cd2e3bb","datavalue":{"value":"until","type":"string"},"datatype":"string"},"type":"statement","id":"Q1863828$9EFB69FD-7420-4BB2-9D85-F9180EA8D9F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8de05d89801c1b42484509e26a6860482312cc92","datavalue":{"value":"since","type":"string"},"datatype":"string"},"type":"statement","id":"Q1863828$C1BE7429-2A4D-4214-807A-909499CEDFF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"004af50c5a285a62ccc6650574e4becaef544981","datavalue":{"value":"clique-guarded fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1863828$E0AD4FAB-3A1F-473B-A28E-8D4EC6167243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1863828$FDF09F0F-2148-49CF-AD42-EF12470181EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e625b72a18962a9980e9218e3557c9411a44293","datavalue":{"value":"quasimodel","type":"string"},"datatype":"string"},"type":"statement","id":"Q1863828$391CFF89-7C75-48C2-9587-0BAD8B0C09EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dba48006b5c8e496f7eee02dd0edb814c74265c9","datavalue":{"value":{"entity-type":"item","numeric-id":912841,"id":"Q912841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1863828$D79ED1D5-BBAD-46EA-AEF4-2A2BDA33F778","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":"Q1863828$CACB238A-B23D-4144-AAE0-EAD33263683B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70de36e546c53f98dffe4cbf91ce377e4522a495","datavalue":{"value":{"entity-type":"item","numeric-id":5394614,"id":"Q5394614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"188942ba05a16e52302b7fd2b07f84a26f740e45","datavalue":{"value":{"amount":"+0.8387107849121094","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":"Q1863828$76F87AB8-A951-43D7-AC9D-D9DCCDC9457A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c4749c931588c31648c97654758bf0cdfb3dc96","datavalue":{"value":{"entity-type":"item","numeric-id":1591203,"id":"Q1591203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1255f06b243ba2ab1d926bca6a193376c6c192e1","datavalue":{"value":{"amount":"+0.8368101716041565","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":"Q1863828$0590CFDD-B0D2-4375-95F1-43999E501040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6082bc3ba95c3a2ccea6252215475f7e1f3973f8","datavalue":{"value":{"entity-type":"item","numeric-id":2576942,"id":"Q2576942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b2d169c37b9bb376a2bab58fa5f308170dcdd43","datavalue":{"value":{"amount":"+0.8355746269226074","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":"Q1863828$1FFB1186-0849-4040-A2A9-2521AE38009E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"545d1c23e039802d3560269622daef18098c5313","datavalue":{"value":{"entity-type":"item","numeric-id":1849866,"id":"Q1849866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75ca9d6165a32913d9c7e1a69aea23d2ac14c147","datavalue":{"value":{"amount":"+0.8314969539642334","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":"Q1863828$75997621-C453-4E65-B205-5ADFFE27442D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e565c833e642a40194615e821a6195f2193d056","datavalue":{"value":{"entity-type":"item","numeric-id":1863826,"id":"Q1863826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9445d31ad243fc7faf0a346401773632caaba750","datavalue":{"value":{"amount":"+0.8119399547576904","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":"Q1863828$F2B8FBAD-347F-4BB0-A2CD-6683B8493DF8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Monodic packed fragment with equality is decidable","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Monodic_packed_fragment_with_equality_is_decidable"}}}}}