{"entities":{"Q2825418":{"pageid":2836156,"ns":120,"title":"Item:Q2825418","lastrevid":52641089,"modified":"2026-01-23T04:21:31Z","type":"item","id":"Q2825418","labels":{"en":{"language":"en","value":"Expressive completeness for LTL with modulo counting and group quantifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6635970"}},"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":"Q2825418$3A57D602-13C3-4B74-A088-89E841FED572","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97a32dea84d319cfd84d340c7dbebdb2fc9dcbbe","datavalue":{"value":"1347.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825418$E1A72EAF-1A25-4793-B134-F1E5B1DA6CC4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"920f7a9d4ba9554edb9692cfc5816b0fc7e0b54a","datavalue":{"value":{"entity-type":"item","numeric-id":2140478,"id":"Q2140478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825418$055E2898-564B-49F3-B7D4-CECEDF0667A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825418$7AB3889B-CFAC-4408-8D08-351D86CDF7CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"75c97569af4c6b39def7afa4b7124bea406ac5e7","datavalue":{"value":{"time":"+2016-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2825418$5E2EE988-E542-412F-AEC4-068D36E0477F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825418$ADC3DC67-A500-43F2-8610-C9E1EB25740A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41a4d891248873b21121a33d099b54aa3c927831","datavalue":{"value":"6635970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825418$1B2BAD02-4538-4F30-8896-DA58636C23EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2825418$9FCB88AF-2574-4FEC-8728-D0435DAE439C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2825418$AF08DEE1-AA9D-49FE-BC66-04EAC9F2C2DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4de89c1b024287b06d5489279779a3921d4736b9","datavalue":{"value":"modulo counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2825418$994A0768-9D8A-45B2-BD95-7241C9ABF2C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcd38bfd935299e98ca1d558fe585b1295b42000","datavalue":{"value":"group quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2825418$05AB1BA7-48BE-40EF-A4DC-F3731388E3EB","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":"Q2825418$1111AE65-F6FF-41CF-8515-7A2514DEF056","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd896a0c7c54a3e021ef49734630edf76c789a76","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2011.10.016","type":"string"},"datatype":"url"},"type":"statement","id":"Q2825418$08B0117F-4F61-4037-8A6D-4E3D71A5E25D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"097cbc2a2ce27a8ff2fd3e784bb756d3ab5dc802","datavalue":{"value":"W2077300025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825418$33BD34F8-7DA8-40D1-983F-22DFCBAEF5F1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f5671d84849ea90c4c8e688f1d7a54e3ff26f319","datavalue":{"value":"Q113318189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825418$A85506FA-F1C8-467C-B37C-8B426147B27D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5592afdbc278531a8faff3dfe5516c2b3be670a","datavalue":{"value":{"entity-type":"item","numeric-id":2640342,"id":"Q2640342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825418$E1DC0D33-0AF5-4B44-8292-93EC5B6A081C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d02145d669f77cb1160f029332407b34a7cb457","datavalue":{"value":{"entity-type":"item","numeric-id":2506493,"id":"Q2506493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825418$F3A593B3-1985-4D35-AB87-BF2BD3DF0AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f21257d8b20ccfecd3db595afbc8b2e1a0a737","datavalue":{"value":{"entity-type":"item","numeric-id":3835817,"id":"Q3835817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825418$003BD60F-1EC4-4927-9B16-5741E40E96AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19a61cdaa469b53d71144c66713ed5cb34575b94","datavalue":{"value":{"entity-type":"item","numeric-id":1295431,"id":"Q1295431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825418$46EAFF78-D101-42C6-8E39-B799067E91E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8dd59ec7dc826b5e54894fa38c76bbbfecba960","datavalue":{"value":{"entity-type":"item","numeric-id":673958,"id":"Q673958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825418$447E048B-7675-433D-8502-400A073B8EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0e0fe9fbbf6330031327bc0f4d20acdc321526b","datavalue":{"value":{"entity-type":"item","numeric-id":4931296,"id":"Q4931296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825418$1848AC22-53ED-4377-BC72-5531EBA47E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e312a5d1ea32c708fffcbbd00635000db09cc90","datavalue":{"value":{"entity-type":"item","numeric-id":3233201,"id":"Q3233201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825418$1B291E95-8697-43E9-B9F6-022199CE974C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dd225cb7a1f1b5d01838e5961bac1df864370d","datavalue":{"value":{"entity-type":"item","numeric-id":5641083,"id":"Q5641083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825418$544233DA-E55D-4B4E-90CA-11A8D41A4266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f33f843778dfabfeef453cdfa627d4b42c24908","datavalue":{"value":{"entity-type":"item","numeric-id":4131648,"id":"Q4131648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825418$4B47C8FC-80B0-454C-A860-FEC56EC86059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9197bb6f0e12accf079e71a6d1aab815fc96359b","datavalue":{"value":{"entity-type":"item","numeric-id":1892890,"id":"Q1892890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825418$071840A9-B1AB-4417-B402-2E8E6DDEF621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2825418$339FC62C-7585-4A55-AA24-B0A490D09714","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5753c0835dff553a8526584d181edbbb3c2c777","datavalue":{"value":"10.1016/J.ENTCS.2011.10.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2825418$B3B5B5BD-79CD-4773-B168-B047916B53F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75e5654dbb22b443f78dddf7b7368d78a1b04c75","datavalue":{"value":{"text":"Expressive completeness for LTL with modulo counting and group quantifiers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2825418$F8746FC5-9237-43F0-A302-15A522A79788","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20db43418963efe30db6adfa0212a3dc10009d6f","datavalue":{"value":{"entity-type":"item","numeric-id":4931296,"id":"Q4931296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcd0c3dbd53d5f3e4ef0e3d26b10d877f3d283ae","datavalue":{"value":{"amount":"+0.813559353351593","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":"Q2825418$A2732ECD-143C-467C-ABD5-E905A6D9D903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a91c7b0f995cf94f20d7f89bf33f8e1f57d3c21b","datavalue":{"value":{"entity-type":"item","numeric-id":5271072,"id":"Q5271072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef933f13edc47b4698aeebbbb2f92f26c9779228","datavalue":{"value":{"amount":"+0.7721059918403625","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":"Q2825418$A611A8F4-4A14-4FFE-8F41-D9749DB798F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"297b25bccde6f2f1817b0a35340eb145f622532b","datavalue":{"value":{"entity-type":"item","numeric-id":2958534,"id":"Q2958534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa2ca54ba43ca7cc4b93261ecc0e0dbeb36fe4b8","datavalue":{"value":{"amount":"+0.7695777416229248","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":"Q2825418$618AE97E-2985-467F-8201-C5DA353B0DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1e6c5a39405767efa244cf5a33607781a1483e7","datavalue":{"value":{"entity-type":"item","numeric-id":4275690,"id":"Q4275690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f70dc84fdd25e045f0f2a658487912cbf1e4ba92","datavalue":{"value":{"amount":"+0.7648240923881531","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":"Q2825418$AE352A30-88CD-47CC-A021-1C49FBBADC19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6efdaea7e6667e088715763d554b397b7d49fb83","datavalue":{"value":{"entity-type":"item","numeric-id":2366686,"id":"Q2366686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"423bce723401c54e9322cb10a81ef24afe009e7b","datavalue":{"value":{"amount":"+0.7633256316184998","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":"Q2825418$86571D88-7BE3-46E0-BA3F-C29830FA4697","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2825418","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2825418"}}}}}