{"entities":{"Q5194652":{"pageid":7224224,"ns":120,"title":"Item:Q5194652","lastrevid":40746669,"modified":"2025-04-04T13:28:15Z","type":"item","id":"Q5194652","labels":{"en":{"language":"en","value":"From Model Checking to a Temporal Proof for Partial Models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7105593"}},"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":"Q5194652$653F9889-8B33-49C2-AE6B-49065A739961","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"43a29ca01802d92d4010e243f722a62fa1368730","datavalue":{"value":{"text":"From Model Checking to a Temporal Proof for Partial Models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5194652$458AC0AE-6064-4B06-8D6D-38285A547BD0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ceceb778f5867315ac7a92c0a32c2bdd29c39a0","datavalue":{"value":"1420.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194652$FBD7DDB2-3329-40E4-B19B-259AE1F123D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2eabad22c5f007a6aa9bd35d4b76af1e06550e1a","datavalue":{"value":"10.1007/978-3-319-66197-1_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194652$38C4445A-F9C7-4AC6-8F9E-8F7649661DA5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c1b6f71a3245bd469acd98dd468c2d25f029a49","datavalue":{"value":{"entity-type":"item","numeric-id":385499,"id":"Q385499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194652$D7A47398-2F20-4D8F-9860-DDC0BBE95D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e065b35cd5058b161b7b4e1eeb5773fdf319ee2","datavalue":{"value":{"entity-type":"item","numeric-id":2024358,"id":"Q2024358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194652$F14C05E1-98D5-4372-B6EF-E1241CD5C53D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"36f9775a15afc69e2b2803668d54a5345207093d","datavalue":{"value":{"entity-type":"item","numeric-id":2065547,"id":"Q2065547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194652$65D9963B-3CDE-4FC1-B934-22CD920DA4A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"12c17a78388b1f2e92062c88fa4de25086298b5f","datavalue":{"value":{"entity-type":"item","numeric-id":439947,"id":"Q439947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194652$197C0BDC-986F-4ACD-80B5-36473DA8DE39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e3a9b74a10d39b566f4aa7cca14078ecb000f6f","datavalue":{"value":{"entity-type":"item","numeric-id":438995,"id":"Q438995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194652$98E82F34-D6CC-492E-8062-1FC2E582B158","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a8f5cbf6360429635db718a7502a7494a9026ef3","datavalue":{"value":{"entity-type":"item","numeric-id":3095231,"id":"Q3095231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194652$CE97F018-8874-4ACA-8AD5-C931D7DCED16","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96391af82153a94a4af2a0e4c8ac60042cea1674","datavalue":{"value":{"time":"+2019-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5194652$4C48282B-CD67-48EC-8C0A-3641FB532F23","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ceabcf6c8b19bbdc4d74bf7cec80eb27b166d42","datavalue":{"value":"http://hdl.handle.net/11311/1076519","type":"string"},"datatype":"url"},"type":"statement","id":"Q5194652$41C4384D-233F-40AC-92D2-A86FA1DF7593","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194652$ECD9A2A3-CB6F-4060-B761-4C208770A108","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f7a47ac1edc57434992771e3cfabb787bb0b97d","datavalue":{"value":"7105593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194652$510A05A5-E0A1-4728-8CF8-D462B7293893","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":"Q5194652$76DC0302-5CEF-4917-BB6A-D8D537A11265","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba2fa5fa0a5eda1d8f19ab47b9c52b2d1d7b9c4f","datavalue":{"value":"W2742487619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194652$AD59A78B-A392-420E-86B1-7098552FD4B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9d69b7e9dfd277e6b654ff7071d7375079737ba","datavalue":{"value":{"entity-type":"item","numeric-id":4531749,"id":"Q4531749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a368068f84f644c4c71f8e2e3e119f344b956a57","datavalue":{"value":{"amount":"+0.9660561","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5194652$7517CD6A-2FBF-45C6-B652-4AD36EA24DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a04b50cd4f97c7dbf3a7beb36f4302c86f22a98","datavalue":{"value":{"entity-type":"item","numeric-id":1327383,"id":"Q1327383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ea43757f298d2f4d0e87bddab4d90dfc4e38144","datavalue":{"value":{"amount":"+0.91281766","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5194652$B82087C0-D4E2-467E-ADFC-FF2295A65C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69f2d5d8cbb27f22a82668c351b8f7a1cecc234","datavalue":{"value":{"entity-type":"item","numeric-id":4982129,"id":"Q4982129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29a60375f06701f2b77641b0c4cb333dc5aa4c79","datavalue":{"value":{"amount":"+0.9082975","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5194652$46E5AD78-47E6-425F-ADE2-A01B2C129509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47a692f977b2b5a6577b9e26d31d979c09bb8c82","datavalue":{"value":{"entity-type":"item","numeric-id":5311048,"id":"Q5311048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14c601775472edcb93cecf3e8a60381b94f928a7","datavalue":{"value":{"amount":"+0.90572226","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5194652$FFD16400-31FE-44FF-BFBF-79CA94AA61E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68e76549a817b933483b9daa432aa031e220ae87","datavalue":{"value":{"entity-type":"item","numeric-id":2424879,"id":"Q2424879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f9e43cf871542680e55c10964ec4e9c26008720","datavalue":{"value":{"amount":"+0.9056424","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5194652$F465BC5A-86E3-4CD3-86FE-8CB3B6D9EF8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9bc0d0a982a32d3b01e7797b4f0d8f4a290eca8","datavalue":{"value":{"entity-type":"item","numeric-id":4925273,"id":"Q4925273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b2f854c2f9e136a0b379bb2b0051474e6a122f4","datavalue":{"value":{"amount":"+0.90526223","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5194652$A53A2CA8-46D9-4F60-BBE6-DB5F2F6E14B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32daf514979af1f778551e6855a9ad222281e837","datavalue":{"value":{"entity-type":"item","numeric-id":4681373,"id":"Q4681373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5270a1cd1e8d27e5136c08a84fe03023199df59c","datavalue":{"value":{"amount":"+0.90325266","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5194652$97FAE64A-40F1-464C-BBCC-9E768D1BA74F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc72ff6f0b14f148a179b5bd3915977bf23280e1","datavalue":{"value":{"entity-type":"item","numeric-id":5941100,"id":"Q5941100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b76c54e1dadf5d73b8d3cb78845127418deb9b90","datavalue":{"value":{"amount":"+0.9029522","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5194652$8236BE24-82E9-4F83-83AB-436B56AD7191","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5194652","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5194652"}}}}}