{"entities":{"Q2945619":{"pageid":2956339,"ns":120,"title":"Item:Q2945619","lastrevid":52344239,"modified":"2026-01-22T09:47:13Z","type":"item","id":"Q2945619","labels":{"en":{"language":"en","value":"Verified over-approximation of the diameter of propositionally factored transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481852"}},"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":"Q2945619$59DFFE59-92B5-4B15-9B2C-D0BE3FD4FA66","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd2b7aa48d58c2c79da5f6158797a244f387a8c8","datavalue":{"value":{"text":"Verified Over-Approximation of the Diameter of Propositionally Factored Transition Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2945619$ADFD3AEC-5E82-49BD-AEC1-1915625B04DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7da714af4948913679f256aab30b661521279930","datavalue":{"value":"1465.68170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945619$A98924AA-0BB8-4B89-AA3E-3A0C9890DF50","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0487e612aad32517f7ed853e132d17865fc1c834","datavalue":{"value":"10.1007/978-3-319-22102-1_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945619$5B3D1614-0BFE-4CBE-A250-3DB0560B290B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f0be3c33817dec30ca405b4332fb07d2bfa84bf","datavalue":{"value":{"entity-type":"item","numeric-id":1663243,"id":"Q1663243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945619$EED02501-0168-4A05-ADAA-61E4A1C51784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4319e36f31697b465281f35e1782e26d5448bc5","datavalue":{"value":{"entity-type":"item","numeric-id":1663244,"id":"Q1663244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945619$169CA782-7B7C-446F-A998-8C8D1E124184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"145fb4ab3c36a5f99f91a0be2758a779e5bceae8","datavalue":{"value":{"entity-type":"item","numeric-id":386031,"id":"Q386031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945619$C5B7442E-B459-4C60-A7CF-92B4BDDF41AF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945619$3B0504C8-1843-4653-A825-A7B2C95A791F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ece460bc202bb4ec344b5d620998e472753b138b","datavalue":{"value":{"time":"+2015-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2945619$B3B1A9B7-A7B2-441D-9CE1-555572595A0B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8404149aefb7cea94d0cb182387fd71a119c8bf6","datavalue":{"value":"http://hdl.handle.net/10072/125207","type":"string"},"datatype":"url"},"type":"statement","id":"Q2945619$1D6F419D-2FCD-4CE9-9CE4-EC98343F88B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945619$B1589127-F3BA-4AD6-ABA6-0AF9DA87A186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945619$4D8AEAD1-5AF5-43F5-ACFB-E4E0A601A74E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94d1132b6d259a89fcb17834974000098e9539f3","datavalue":{"value":"6481852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945619$5EA59B6B-C2D7-493A-812D-000AB4B9C698","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945619$752927E1-F592-4300-BB09-3B644DAE2F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ecb36fec89ff827cd73a8ca1a85f36a2e419c34e","datavalue":{"value":{"entity-type":"item","numeric-id":13377,"id":"Q13377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945619$30D712D6-B890-418C-A760-2C32F46AE4C3","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":"Q2945619$54E043D4-08BD-46CE-903A-918D0D532BBA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b76882f59e7175370a7255c242edab949a71f27","datavalue":{"value":"W2109274831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945619$75C2D98A-A92E-443C-81B7-B22FA04FA79A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"344170b015e91f2c1e385af7eff20b912b356d9f","datavalue":{"value":{"entity-type":"item","numeric-id":4804893,"id":"Q4804893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945619$F2201846-1FE2-4ABA-935B-E60088DC2E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49023bd5aa461c9f63f0725228815aa2af2e478f","datavalue":{"value":{"entity-type":"item","numeric-id":5747646,"id":"Q5747646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945619$F2078046-2A5D-4819-8025-567A4C947170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51349babc9d3c4785c029872745b0bb797ea3fc4","datavalue":{"value":{"entity-type":"item","numeric-id":1337679,"id":"Q1337679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945619$05A47320-5000-4B7E-ACC3-24300895FCDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13bee5f0057389e1c16ac139c18b978a9fc1e0e6","datavalue":{"value":{"entity-type":"item","numeric-id":3624014,"id":"Q3624014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945619$7A96CB7B-01A1-4F6B-BF44-D6B3B9CEF7DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87957d20676b341fc2d415efa4c896e75ab57ba3","datavalue":{"value":{"entity-type":"item","numeric-id":4414397,"id":"Q4414397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945619$11B92ACC-C6FC-4CE2-A817-9668C8B18849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7653da84007c7a5f47e587934a232ab2e277182a","datavalue":{"value":{"entity-type":"item","numeric-id":3525136,"id":"Q3525136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945619$1B93EE22-8A76-4F39-881A-96BC4E406487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f4334b25d43b9293350a877e2d317280ca55a9","datavalue":{"value":{"entity-type":"item","numeric-id":3543646,"id":"Q3543646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945619$CC189815-6D59-41FD-AD9B-653A05183CE4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51d668fffcca4875f5d3b9df4009a50d16cb88ff","datavalue":{"value":{"entity-type":"item","numeric-id":1663245,"id":"Q1663245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"316e4a466b5f67ebdebed4e37dcaee871151baaa","datavalue":{"value":{"amount":"+0.8730974793434143","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":"Q2945619$321204DC-DC2B-4A97-99CF-AA9F2F4DDCFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a49f191c8a35ac452fb0d19853f0acef09839786","datavalue":{"value":{"entity-type":"item","numeric-id":4414397,"id":"Q4414397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"defb21d677b849fbc44a9ca30ef1168f0fb9e51f","datavalue":{"value":{"amount":"+0.7966009974479675","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":"Q2945619$F14D5DCC-EF89-4022-BBD8-9042627D7074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81db03108f55b5c2a95843c21b27b90796aad272","datavalue":{"value":{"entity-type":"item","numeric-id":2986792,"id":"Q2986792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ec769cbae13cfcf618095e78373160d3e3f2cf3","datavalue":{"value":{"amount":"+0.7731698751449585","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":"Q2945619$B1DEB1B6-FCD3-4F1D-A2F3-1324FC1F107E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fedad35241e8495bb7aa570aa3d36d5af21943a","datavalue":{"value":{"entity-type":"item","numeric-id":3088266,"id":"Q3088266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2f7e4b02ab309d2bda3a5116a18a1848d826d96","datavalue":{"value":{"amount":"+0.7548090815544128","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":"Q2945619$9EDA2B6D-FA84-40E5-B1B3-EEC6CAD5097F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10c3e3cb438e80e830a90b1d7919d738a25e9604","datavalue":{"value":{"entity-type":"item","numeric-id":3190113,"id":"Q3190113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc4b219294a3e7eabb5ac981c9394318bb07ac90","datavalue":{"value":{"amount":"+0.7432138919830322","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":"Q2945619$6E0F5FC7-6960-461B-BD66-51C9CD6EA1DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2945619","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2945619"}}}}}