{"entities":{"Q4925273":{"pageid":6954855,"ns":120,"title":"Item:Q4925273","lastrevid":91967792,"modified":"2026-06-05T00:31:49Z","type":"item","id":"Q4925273","labels":{"en":{"language":"en","value":"Bounded model checking for propositional projection temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6174188"}},"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":"Q4925273$9F2AD3A5-0F24-4CA7-A67D-F47BA29A78F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46539b1a26217fdaac4964363bc773a8bef3399a","datavalue":{"value":{"text":"Bounded Model Checking for Propositional Projection Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4925273$9FB93AC2-966C-41F0-A371-41816B0BED65","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a676d31b8b90a810bcc71adfe4c0b876bab3aa26","datavalue":{"value":"1382.68141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925273$7CD40589-EEF9-4EF8-BC38-2C6A0B39A363","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c64af6f201dfc4a9b6e0801be2a46cbee387b899","datavalue":{"value":"10.1007/978-3-642-38768-5_52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925273$797DAADF-53D1-44AB-82ED-8F17C4A79762","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30d9aa89bda10e60a2b2b6e5c4297a8a726a7ab3","datavalue":{"value":{"entity-type":"item","numeric-id":247891,"id":"Q247891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4925273$81194C78-7AD7-4156-9B50-0EEC19F625A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63c8a7d27ac589b244a048d2f920a9e8c6bd330","datavalue":{"value":{"entity-type":"item","numeric-id":247892,"id":"Q247892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4925273$FA917A28-BEBA-4594-B2DF-3E33E2772576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37e085ecbc83d59919ae382f77064b9890c510b4","datavalue":{"value":{"entity-type":"item","numeric-id":247889,"id":"Q247889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4925273$14E959BB-1C07-45BC-A534-4B6CA18ABC17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f632b65a6b4dc868c17755c2cc5fad36c3d66e64","datavalue":{"value":{"entity-type":"item","numeric-id":1045017,"id":"Q1045017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4925273$9B20D5A1-1256-4487-8B92-DB655A6EC38A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4925273$47BFDFA7-E938-4DDE-BD6A-CB4880A452E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f1333f5ea32121d60563094ddcc091f8ab3e533","datavalue":{"value":{"time":"+2013-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4925273$2028219E-F60B-46E5-B340-ECF8ACFED63A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925273$921E947D-CA56-416E-ADEE-302104D44053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925273$C7E5A415-7060-4A50-9A47-3A5A620D0575","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78b9cdf935f6f4d27d0c2ba9a554f9b0f37587f7","datavalue":{"value":"6174188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925273$B1311B3C-6367-440A-80CF-C9AF0607D79F","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":"Q4925273$CFDB02BA-FDC4-41C6-909D-F9391E65C237","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d02093a4bddd67ee972427d4fa96c40e7b4a04ab","datavalue":{"value":"https://doi.org/10.1007/978-3-642-38768-5_52","type":"string"},"datatype":"url"},"type":"statement","id":"Q4925273$5D5A0E74-F69F-4DD4-800A-77D72D8A022A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d3a4d93e5dd387b98d46499d8046f24eed3b8f86","datavalue":{"value":"W39854187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925273$393CC895-57C7-494E-A5B1-271149513355","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cd9e25efe198f661884ceaa859192f9dcf5d9b5","datavalue":{"value":{"entity-type":"item","numeric-id":2026564,"id":"Q2026564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5defe7f21f8ccfac7b6572faa39cfd4bed0d817","datavalue":{"value":{"amount":"+0.8493558764457703","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":"Q4925273$67BE7960-2215-4206-8F97-CB866246D43A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a53ddec00cff2a34b2596ffc0f8f38c60adad626","datavalue":{"value":{"entity-type":"item","numeric-id":896152,"id":"Q896152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a62772219a7c115a49912d5e2f8db8ce868a182","datavalue":{"value":{"amount":"+0.8302068114280701","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":"Q4925273$C440CFF3-C682-4EDE-B6F4-E98032BE1EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f6b7498f5920637787f322928d176bdbab0ec91","datavalue":{"value":{"entity-type":"item","numeric-id":3461297,"id":"Q3461297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49c77c44e67f2a2a98a40529a651621654125fa3","datavalue":{"value":{"amount":"+0.8269358277320862","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":"Q4925273$2207BC53-E5D3-4887-8B21-7F458AD95323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"297f9a57f303c8c036d110ba8003ae3808693f2e","datavalue":{"value":{"entity-type":"item","numeric-id":5422273,"id":"Q5422273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ded215b5657d53df9c7e0ac43ca0ce954220d046","datavalue":{"value":{"amount":"+0.8178375959396362","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":"Q4925273$3572C2E3-B328-444E-996B-FB3F624C60E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c7fcafc978887724a703456a7cb4823f9823f8d","datavalue":{"value":{"entity-type":"item","numeric-id":4417910,"id":"Q4417910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"748d946da24c4fca96d3dea35c50f54c16d3b573","datavalue":{"value":{"amount":"+0.8118153214454651","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":"Q4925273$40151E98-4300-4E08-A335-452B90C98190","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bounded model checking for propositional projection temporal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bounded_model_checking_for_propositional_projection_temporal_logic"}}}}}