{"entities":{"Q4815032":{"pageid":6844612,"ns":120,"title":"Item:Q4815032","lastrevid":74560617,"modified":"2026-04-14T23:21:14Z","type":"item","id":"Q4815032","labels":{"en":{"language":"en","value":"Bounded LTL model checking with stable models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2092649"}},"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":"Q4815032$C17593D6-903E-499F-A4CD-60462C12A1D7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f49e5e179657379a8116764d174d7f5466a3d99","datavalue":{"value":{"text":"Bounded LTL model checking with stable models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4815032$4EF80D37-8C99-465C-806F-7A32D1F29C14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05bbffeb04ad290edcbad9d796926586167b9231","datavalue":{"value":"1079.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4815032$5FE8CFB5-2526-481B-957A-4B27B6FC74F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4516d4fb2afa9c777e9c777c25b9cc31ef5ec6ab","datavalue":{"value":"10.1017/S1471068403001790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4815032$599A7B70-4B54-4D75-A4AC-99CE15A6FDCB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f9933ae3bad131ee8035baf5a9d9f7a567dc0c2","datavalue":{"value":{"entity-type":"item","numeric-id":338628,"id":"Q338628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4815032$B1B6C730-9FED-4E84-B8EC-558F678CC75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84a0bf8ed8d41ff3812d01e44b824eef0aacc110","datavalue":{"value":{"entity-type":"item","numeric-id":414901,"id":"Q414901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4815032$DD731D11-2501-4EFF-93C2-10CA7D761AB1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4815032$7C66A741-C9F4-4018-A59E-96A446122911","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dad9e6929b84d2aa86589bcc6be2d26ada8b5576","datavalue":{"value":{"time":"+2004-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4815032$A608932D-9226-4339-95F9-31B12372A7A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4815032$ECEF037D-3865-4D08-A9D7-A9454338DF63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4815032$3B2DF7A2-60E5-408C-8778-1769AF3467A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4815032$8E402D3C-6A5F-4CBA-81D9-4382871A6580","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3557be6ad8154ee0936ec066713b579b4b9211c6","datavalue":{"value":"2092649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4815032$51ABE2D5-E4B4-407A-931D-C1B730436ECF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ab41959fd9494b5548d09c762ca90a9336e1c7","datavalue":{"value":"bounded model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4815032$003BA08B-39FB-419F-B3C6-B10A5452EB38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cf68b700896c255a0bd6c82529e8b253e1f9d4f","datavalue":{"value":"stable models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4815032$6C74A2B6-3B81-4221-93AD-1CDC510451DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85a839a7ba93b7be8ef2a01122562abb5ca55aa9","datavalue":{"value":"LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4815032$D2AB7570-3DBA-4DEC-9157-122D7D8D7C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab3e79822c258142ef425c90d0a9c417acacdc69","datavalue":{"value":"step semantics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q4815032$01A289D0-39F7-4189-8818-38963FFD938B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9db1e91a89df53a457829018e0d11da98ae53dca","datavalue":{"value":{"entity-type":"item","numeric-id":15686,"id":"Q15686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4815032$A0A94D5A-A2EB-4DA1-AFEA-405306BE6A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4815032$7DFEF42B-8E48-41DA-A4D4-A93000EE39D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4815032$3D9E8DD7-087E-48D7-9AAB-0840F7F05C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4815032$7ED2A3D4-8E67-4CBE-8F77-4491EAD57876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5521ee0488b50dc9e8c273fcd2679ed13d8e39f","datavalue":{"value":{"entity-type":"item","numeric-id":16801,"id":"Q16801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4815032$C66DC810-F135-4CE0-8AA9-09EF004853EF","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":"Q4815032$AF2B2597-A031-46DF-8C68-5CF27304ABE6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"195e3360063e9192dea7b2ef23e33e6f359d2246","datavalue":{"value":"https://doi.org/10.1017/s1471068403001790","type":"string"},"datatype":"url"},"type":"statement","id":"Q4815032$BD5EE39C-1DCC-4E20-874F-8F1591CED7F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"34d09ebf9ecdf9d6ecf55ae8e984fe068c325d71","datavalue":{"value":"W2119055724","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4815032$56B154CB-534B-4F15-B575-88DF37F0904A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc23b0f91886ee113dfd5194e89c5050a29887bf","datavalue":{"value":{"entity-type":"item","numeric-id":4798010,"id":"Q4798010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"350d1445b49f2427914736c6964c8c08e932bfb0","datavalue":{"value":{"amount":"+0.962367594242096","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":"Q4815032$8F760813-D0C1-4482-AE5A-ED74D8957E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdc64ca00bfe0342f128404aa61b6f6ba68532fc","datavalue":{"value":{"entity-type":"item","numeric-id":5387857,"id":"Q5387857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88484f49fb085c7bd35195165ab1d66c7aada008","datavalue":{"value":{"amount":"+0.8212756514549255","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":"Q4815032$8637BC2E-D1B7-4922-99EB-BD6BF727236E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b9ec0decb7be3be1b5b97b74f6d05bf61c3d572","datavalue":{"value":{"entity-type":"item","numeric-id":6487366,"id":"Q6487366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9997238d298ac4377adf18c1702cdd4d86c1925","datavalue":{"value":{"amount":"+0.7951538562774658","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":"Q4815032$E61A4253-B4DB-48A2-A6F9-36452B2845ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309452286f4d055e8e21dc646fe8b1fbe7d6c907","datavalue":{"value":{"entity-type":"item","numeric-id":4791837,"id":"Q4791837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3bd79364eb69afd4532d18dbbf743eaa336bfea","datavalue":{"value":{"amount":"+0.7950023412704468","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":"Q4815032$97F041AB-D9FD-41C1-837F-79514895105E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8977dd58723d052201d616a77908f26ee82b341c","datavalue":{"value":{"entity-type":"item","numeric-id":4264234,"id":"Q4264234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c007a11efa0220ee643c1dac44722a233f64811","datavalue":{"value":{"amount":"+0.7848766446113586","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":"Q4815032$933317E8-1D79-4A18-9B05-614FBB43CD2C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bounded LTL model checking with stable models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bounded_LTL_model_checking_with_stable_models"}}}}}