{"entities":{"Q5452596":{"pageid":7482155,"ns":120,"title":"Item:Q5452596","lastrevid":50326835,"modified":"2026-01-13T20:11:04Z","type":"item","id":"Q5452596","labels":{"en":{"language":"en","value":"Model Checking Via \u0393CFA"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5259425"}},"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":"Q5452596$CCE4CA2D-33C0-4DFA-B41A-F8FF03DD109C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce34bdc40e0fc80351862790879252b57264114a","datavalue":{"value":{"text":"Model Checking Via \u0393CFA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5452596$5C6B63D5-B6CC-440F-BAD3-54BE73377B19","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4e460823bb3b3843f1496d6b6dac1ceed08c4a6","datavalue":{"value":"1132.68475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452596$A516ACD0-9879-4831-9085-33495286DEA8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9d7712d555fcdfe8a8d6caa80a25c7fa8c48365","datavalue":{"value":"10.1007/978-3-540-69738-1_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452596$3164916B-A44B-43A7-9A8E-8CCACB0039A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf1fb940fe4766e5f9dde191175dcce387f32975","datavalue":{"value":{"entity-type":"item","numeric-id":879359,"id":"Q879359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452596$44E1AD8B-473B-4BAF-B68E-CCA02356E361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70e3dcd8e8d07a19c3455db463071f45ad6cc15d","datavalue":{"value":{"entity-type":"item","numeric-id":5452595,"id":"Q5452595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452596$C54703ED-2892-46CE-A5FF-A49B3E5CC5E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"996c43507fe1181760d05fae174e9d9f8409d80c","datavalue":{"value":{"entity-type":"item","numeric-id":879360,"id":"Q879360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452596$5B024A41-0A91-4EB4-B490-0C7E8486D84D","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":"Q5452596$F74BBEC1-F75F-4CB9-95FD-DB37054CEEA8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"283c808929f873b84bd7c8d7eb4dc979113b8f01","datavalue":{"value":{"time":"+2008-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5452596$695D0334-E612-4FE9-93DD-CF15A7554F96","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452596$08518887-7D53-4121-AFC2-7A008146A089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452596$7256FD21-D95F-411A-9AAA-6B99F74ECCEA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"769c5eb74f32fc977e17095b1a4d423fb06f78a3","datavalue":{"value":"5259425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452596$B67E8DD9-E652-4A1A-94E9-594AD57DDE07","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d9a271776a9075dc205a70cafdbb0270002d5ac","datavalue":{"value":"Abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5452596$808D16A4-2E7A-4ADC-A383-877EDB357238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5452596$D2AF4DEF-F9B5-44E7-94FC-D63A42D699A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd70e2657cde0077eee0a5f966663b516ce524bb","datavalue":{"value":"abstract counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5452596$C640C7B3-1CAD-488D-9A0D-26523A5A72B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01c68eb4b92f3c519652b4ae7db48653d2d3ec70","datavalue":{"value":"abstract garbage collection","type":"string"},"datatype":"string"},"type":"statement","id":"Q5452596$83D88FA3-FF5C-4C19-821B-F9B1DE180EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ee2c4188e14bef26a49ae6ad4a03b4fcc12b049","datavalue":{"value":"\\(\\Gamma \\)CFA","type":"string"},"datatype":"string"},"type":"statement","id":"Q5452596$195EA126-C3D5-48B1-868C-784EFE635594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f56d350b5b90fc1fddf0b43b4d5ff923c1661bb","datavalue":{"value":"higher-order languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5452596$FB130A4B-444C-46FD-899C-709D8A670DDA","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":"Q5452596$BBB379AB-9E37-47B5-9A04-3339D8E4F163","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a310d73fae17115e15e97590e09960ebb8462f90","datavalue":{"value":"https://doi.org/10.1007/978-3-540-69738-1_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q5452596$F2D64C13-2628-49C6-B445-F751D7236158","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5df70211ceb8b5fd57a7dcdb885881802b3f5db6","datavalue":{"value":"W1582664260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452596$20719140-2E24-4F6C-96F8-685E95CB2C50","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3677264927407200fca1aa3860a7eeec86deff3b","datavalue":{"value":{"entity-type":"item","numeric-id":5501455,"id":"Q5501455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1758bbdc5383f73152d93dcba78e7799fab72c9","datavalue":{"value":{"amount":"+0.7762488126754761","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":"Q5452596$7FD67206-5C2C-4F2D-BDB0-9F10AB200C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5249675c0e459acfdaf8415733e78d74a73ea3b7","datavalue":{"value":{"entity-type":"item","numeric-id":3179299,"id":"Q3179299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb6bd7f79c88305d113cd735458920fc58508f8b","datavalue":{"value":{"amount":"+0.7701942324638367","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":"Q5452596$9F830B4B-2CC9-413C-A4C3-31DB25A7A4A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6ccb1191a94d96960c35877220f461aed7f4efc","datavalue":{"value":{"entity-type":"item","numeric-id":5395718,"id":"Q5395718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dd7843df2cf5386a08f3fc93892ecc0fac55ccd","datavalue":{"value":{"amount":"+0.7613357305526733","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":"Q5452596$193442AA-DBAB-4C47-BBD2-46C9D584A9EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0799e8c034b999d7d63955690ae84cb06442b136","datavalue":{"value":{"entity-type":"item","numeric-id":2900270,"id":"Q2900270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83d0f648f5761072b60f0cc5b0be5c3793829102","datavalue":{"value":{"amount":"+0.7419822812080383","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":"Q5452596$8A40ACC5-21C7-4379-9A75-48856A1E7AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae93799b1f638a99cf0cc7abc5aad262ecfd13a6","datavalue":{"value":{"entity-type":"item","numeric-id":4635787,"id":"Q4635787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2323fbbf96371562ce1f609e67f2a1586bbe1ef7","datavalue":{"value":{"amount":"+0.7419218420982361","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":"Q5452596$FD73F5B2-740A-4B42-846B-E2FF8F7BAB8D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5452596","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5452596"}}}}}