{"entities":{"Q6174405":{"pageid":13309293,"ns":120,"title":"Item:Q6174405","lastrevid":55475932,"modified":"2026-02-17T17:17:05Z","type":"item","id":"Q6174405","labels":{"en":{"language":"en","value":"Synthesizing history and prophecy variables for symbolic model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7728626"}},"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":"Q6174405$7E972AA0-6B32-4290-9E7E-52279C18EFB6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e6e3ef351d8f9505b8a82f5ba62f07f4226fada","datavalue":{"value":{"text":"Synthesizing history and prophecy variables for symbolic model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6174405$5A57BE00-A8CA-46DC-856A-B925D9D2AFA6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40adc2ec8f91b7e9d467b2b4506f4a5e9d21e0d4","datavalue":{"value":"1529.68166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174405$5B84F3A2-D76F-4460-8E29-8A96B24C8D61","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50a36f106b49501e468516758fba666e2f7fc592","datavalue":{"value":"10.1007/978-3-031-24950-1_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174405$DE5EC71C-2B6F-4FCA-97A3-9D25F607474F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e653266f1703a1fc63c084d88ce862d5ca55984d","datavalue":{"value":{"entity-type":"item","numeric-id":6045059,"id":"Q6045059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174405$131F064A-21BF-4EFD-A857-D38B8C27430D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57a84b3343ed70002617a9eb1439c18c15bac9ff","datavalue":{"value":{"entity-type":"item","numeric-id":934708,"id":"Q934708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174405$520DA559-390D-43FD-A37E-142C7D3B0922","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":"Q6174405$517950E2-BFF8-4C5E-AE4F-B9B3C7102457","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"441006eb796e3a3facfc20a479629ee7d34004ed","datavalue":{"value":{"time":"+2023-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6174405$6165C5B8-47B6-475E-AC2D-898BD197ED4C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174405$B901C7B1-8690-476C-AA45-309AC8DC6112","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7634a803b434cf9c47c4ad7ad866485530bf8d80","datavalue":{"value":"7728626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174405$6831A6D0-CBB2-43E2-A8DC-3C6E275EA560","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":"Q6174405$C40A3AC8-8481-4772-B5DD-411B181367E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3021f6258a1569de46e0b85896ba2f43cfd64acd","datavalue":{"value":"https://doi.org/10.1007/978-3-031-24950-1_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q6174405$5A5EBF4C-3083-42B4-84B7-0D66CAE2E564","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"20ab5621ae7d5008ceb612fcc656220c67ba1228","datavalue":{"value":"W4316662619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174405$780E6B46-C6FE-4B1B-A563-1206F9ECB3DD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d5978f4bdf14ef5fd8b71ce390dbec5034a1e6","datavalue":{"value":{"entity-type":"item","numeric-id":805251,"id":"Q805251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174405$C894BB05-9161-4741-B3A7-978E8A27C6D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6d67500ad267793e5f7155f89fc3f68edea9ebb","datavalue":{"value":{"entity-type":"item","numeric-id":5492994,"id":"Q5492994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174405$A12DBFDC-3C5C-465F-BC14-5BEC742B7312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"600d8a1514e6fed4e4c66ebeb9b62bee4bc86b61","datavalue":{"value":{"entity-type":"item","numeric-id":4417936,"id":"Q4417936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174405$109C66C1-83B2-428E-8C30-4705A60FB6B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"675683968dc28118a062ab99ffebd45f865003db","datavalue":{"value":{"entity-type":"item","numeric-id":4633542,"id":"Q4633542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174405$1475A950-680B-4EEF-8188-E8F7DE22B1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1daf6c1b27d4e2241acccb436e068cfc4f24ffff","datavalue":{"value":{"entity-type":"item","numeric-id":3546294,"id":"Q3546294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174405$62C8C489-C8F8-41CE-B88B-E16A98B79C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"774e07bf0cdbe35003eaaf8e3d497ff9f1ce6b06","datavalue":{"value":{"entity-type":"item","numeric-id":6194577,"id":"Q6194577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174405$7E4070C6-8289-4576-B2C6-727D7983DF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22b34230d6df626c64dad187f872ce2d2c543952","datavalue":{"value":{"entity-type":"item","numeric-id":3081445,"id":"Q3081445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174405$C3D230CA-5406-4A0D-9479-005EC472D21B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd51bbb96625374ba0527eef6fa500f596e78094","datavalue":{"value":{"entity-type":"item","numeric-id":6109591,"id":"Q6109591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174405$4252D62E-E37B-4286-8C6A-64E45CD5330C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e94238a6a5ddf3dd15f03313efac1f027d9611","datavalue":{"value":{"entity-type":"item","numeric-id":3452263,"id":"Q3452263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174405$92E6B26C-22D0-4505-91D9-F5D49563410D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f87447fd9e48200c94082f5c54390365be14594","datavalue":{"value":{"entity-type":"item","numeric-id":3177887,"id":"Q3177887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174405$E0FBF0E1-675D-48A4-9E1A-97B5CA0AC5DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1060c39f6c78c6c906f6922c72b026efa0999e0","datavalue":{"value":{"entity-type":"item","numeric-id":518396,"id":"Q518396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174405$64415E61-3991-4D44-B647-655A451DEACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d14495826aa264560d537df53aac6867722fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5901914,"id":"Q5901914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174405$5060869E-4ED1-492E-9221-B80263AF7C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb3d973ee67a0d57722d1373dad12c99bf3d07ce","datavalue":{"value":{"entity-type":"item","numeric-id":2044196,"id":"Q2044196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174405$8653AEE7-87DB-4E44-AF2B-633B2327073B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1310abcb0bf6cdb448bbefe6a8a1991a31da0559","datavalue":{"value":{"entity-type":"item","numeric-id":4787228,"id":"Q4787228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174405$CE8F8752-4E01-47EE-8CE0-A54083F38FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef9c0e492b02772fdee855678eeaaecef66c13a","datavalue":{"value":{"entity-type":"item","numeric-id":2575736,"id":"Q2575736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174405$0E93F1E9-091A-4379-A5AA-A0AA818C4E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"281d23eca7aaf6e5c8716bc59f167dc0721ca04c","datavalue":{"value":{"entity-type":"item","numeric-id":6045004,"id":"Q6045004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174405$B7655403-956A-40F8-BE58-90ADA7970C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7e7a69944a208912cc786a2c8236ca37bc32116","datavalue":{"value":{"entity-type":"item","numeric-id":1664399,"id":"Q1664399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174405$09924D0F-6B2C-434B-8C81-FE5CC7718D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4a9238fc49995a79f8c006683b1a9c42fafe2bd","datavalue":{"value":{"entity-type":"item","numeric-id":4085221,"id":"Q4085221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174405$8CAAEE67-A9FD-45F2-8EDC-EB66C7D3F7E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d97d0e39fff4eb32f474a84cfc3cf8ba9ad1d378","datavalue":{"value":{"entity-type":"item","numeric-id":2769579,"id":"Q2769579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174405$3B3504C4-8E44-491A-A22D-683B1D97E6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31c70ca7f57dec1fd3ec22aa924f436369c54408","datavalue":{"value":{"entity-type":"item","numeric-id":5020662,"id":"Q5020662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174405$45EB2A66-1CB4-4F2B-A132-668B3ABB55B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77aece845c2baf8ffd708e4653a2c5eb627f3ad4","datavalue":{"value":{"entity-type":"item","numeric-id":2898019,"id":"Q2898019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a8b576eb5f71987247754cbef10cd52f6084dde","datavalue":{"value":{"amount":"+0.7052657008171082","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":"Q6174405$8BD51035-916A-4311-A5C4-CA3CDB46082B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a8fa75dc99055287e1b34241421c9edefb37c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5043584,"id":"Q5043584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63a9c13026e2574ead703fce2e8e6e5860fc9c6d","datavalue":{"value":{"amount":"+0.688630998134613","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":"Q6174405$09D2E89D-BB59-4153-BBEB-3E302B9907BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9140f24107c22d73c2cfc5e16679a500cd14994c","datavalue":{"value":{"entity-type":"item","numeric-id":2044196,"id":"Q2044196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f97151ba3f3085e54f49ed2f59f9e27d5717380e","datavalue":{"value":{"amount":"+0.6886305212974548","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":"Q6174405$5A6F40EB-5D2D-469F-8B5C-7FE218C002D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e06016963fa7603b778e3bb1f46482d10e1b53c1","datavalue":{"value":{"entity-type":"item","numeric-id":3648730,"id":"Q3648730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90b2339ee0d18d9b2c9ad234739d5671283e1ebf","datavalue":{"value":{"amount":"+0.685135543346405","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":"Q6174405$280D83BA-1061-4B9C-A328-7F2755C29DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39fc374976a67bceec65606b63efb1bf5fcf95c4","datavalue":{"value":{"entity-type":"item","numeric-id":5479161,"id":"Q5479161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d5f33383eac30026e8dd51cb7760876bd4b058d","datavalue":{"value":{"amount":"+0.6732532382011414","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":"Q6174405$73F70A7E-A210-42FD-A365-FAD9ABF7B3BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6174405","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6174405"}}}}}