{"entities":{"Q1858441":{"pageid":1869183,"ns":120,"title":"Item:Q1858441","lastrevid":69129984,"modified":"2026-04-13T04:58:25Z","type":"item","id":"Q1858441","labels":{"en":{"language":"en","value":"Syntax-directed model checking of sequential programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1868275"}},"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":"Q1858441$2CDA0E01-34B9-40FD-B8D8-1A6ECF71E64D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"926279f07fd2dfc082c2b7e650e9c91550933fb9","datavalue":{"value":{"text":"Syntax-directed model checking of sequential programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1858441$92B6070A-9A87-46D3-8CA0-DB6A9B3E3971","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"173a7778c126edafabf717b9ed52d474e7a7539c","datavalue":{"value":"1008.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858441$5248790A-EDE6-453D-A01F-B3805774B0B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d6fd9d668cdea073460ac404d2b60faee80087e","datavalue":{"value":"10.1016/S1567-8326(02)00035-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858441$4109C4BD-3272-4523-9FFD-CBA32C55B80D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b93a7ab83eb4b01c8fa415c14a8ae5c22018daae","datavalue":{"value":{"entity-type":"item","numeric-id":1039849,"id":"Q1039849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858441$CE70B343-4291-432E-9148-3730D6A67C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dde9477c31764f7e982fa5c7962174291d7bf7fb","datavalue":{"value":{"entity-type":"item","numeric-id":259063,"id":"Q259063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858441$0C4BBD18-B943-467E-BE6B-6295F88391D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858441$473ABD15-3D5E-47A1-B2C8-7641E2E4F8A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aeee03ff93cd4d2bc8e8bd2001afc62b5646464f","datavalue":{"value":{"time":"+2003-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1858441$F65D2B1F-FC1F-498D-89AE-E8EEB64D5AF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858441$A2D6DA2E-797D-4375-9381-420441F86D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858441$E55F9AE8-4E9E-42B5-9E55-8BEE03507A68","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4f82088c2fd8703cd47c6f7347a07e5101f7358","datavalue":{"value":"1868275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858441$9AB6BCE3-8A8F-41D1-A639-F95C8B63F365","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a05ec851cb528e9eaf89749e243ca7dabb64c9e","datavalue":{"value":"temporal logic model checking of sequential programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1858441$52FFC687-1B43-4AA5-BF26-BB6C73C9EA33","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bee5cb1919919ea97c6e467c1806a0893670d996","datavalue":{"value":{"entity-type":"item","numeric-id":14223,"id":"Q14223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858441$16BED1BB-2B7A-4DE8-A850-CB57F29F7E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858441$833E60C7-3A12-490C-8923-4535E32CFC6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4f55591526bfa06dbd19dfd10ca3b2c9d44db2a","datavalue":{"value":{"entity-type":"item","numeric-id":20924,"id":"Q20924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858441$A55921DD-4E4B-4F77-86D4-4C3B7E0DA566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a20498efd7672a526d616e86f695804b7273a736","datavalue":{"value":{"entity-type":"item","numeric-id":21867,"id":"Q21867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858441$37D4CBC7-4772-4B24-BE29-6CD1372D2439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc47147a404ecf949cf86c4e92d2dcc5a8bfafcc","datavalue":{"value":{"entity-type":"item","numeric-id":19680,"id":"Q19680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858441$EDAC162B-1548-4B09-96F3-8C643B94CFC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"47f960de4d53e18e0757a9f17e2bf4db153dde36","datavalue":{"value":{"entity-type":"item","numeric-id":19685,"id":"Q19685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858441$25CC7265-CD31-4629-81FC-9DE9F9009D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858441$1A841D68-60AE-4242-8C4D-EB9C6F1E073E","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":"Q1858441$16F8C36A-B896-494E-993F-88F8FAD00E7E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ee36fea820e4ec41c645157a399b976a6698393","datavalue":{"value":{"entity-type":"item","numeric-id":2753756,"id":"Q2753756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858441$04A93BD6-5B03-41C0-8381-30AA0D507BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd265a9d1e0c930d3261ac5aaae62352f73cdfe2","datavalue":{"value":{"entity-type":"item","numeric-id":4531754,"id":"Q4531754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858441$9C10F736-8FFC-4E7D-9D4B-C9B1DFD89CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858441$95B680F5-10FA-401F-9B61-E16F0CCB93BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858441$100216CC-7DF8-49DB-ABFE-49C7B27DC7D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858441$F326E056-FAA5-4D26-9963-3D461B2F812B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed8509b217b4bb778d594e037855d6eca1d9aca1","datavalue":{"value":{"entity-type":"item","numeric-id":2753762,"id":"Q2753762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858441$CB707510-6AB0-4E06-A3C1-A73055E2B6E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858441$1A5818A0-6B64-422C-9BA6-925D0E85A557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"066a4dd642c777165b5519aededf1e744d2e70dd","datavalue":{"value":{"entity-type":"item","numeric-id":4791830,"id":"Q4791830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858441$A9B01EC7-1775-4F0E-AB3F-92229D47C05B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7d8c0e22cc6d5b8f5e5b95e505b643a065a9ef3","datavalue":{"value":{"entity-type":"item","numeric-id":1856163,"id":"Q1856163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858441$898B9393-A77C-441F-AF7A-820C963692F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b22c0984ee11d9afc8454ed99c921e59db63fe2","datavalue":{"value":{"entity-type":"item","numeric-id":2753757,"id":"Q2753757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858441$E4FA2B1A-7E88-4291-9D7D-B8707AA28CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858441$6321302A-CC35-4350-8769-EA58FEDB5D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e3d5efcad955e9874c3cad0d3e003718384f33","datavalue":{"value":{"entity-type":"item","numeric-id":1143164,"id":"Q1143164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858441$E0932801-794C-439A-A53D-DA96D24C4D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff9a0e3f0f2bb5379481e2506c1ed09265b0350","datavalue":{"value":{"entity-type":"item","numeric-id":3700812,"id":"Q3700812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858441$B0F2D1D0-F427-451A-9CFB-5186D2F9F5B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c65cb3591a6d59a7254d57416c9f430197e36e06","datavalue":{"value":{"entity-type":"item","numeric-id":671681,"id":"Q671681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858441$C280479F-E6BA-4034-BB30-0109AC310213","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"13ae32e93e0233f36596771fd365cf682107ddc2","datavalue":{"value":"https://doi.org/10.1016/s1567-8326(02)00035-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1858441$0757BF63-2C9E-4F93-87C8-825173A8ECA3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cee9e5f78cccc21ab3b86deeb72a07278d77d44c","datavalue":{"value":"W2000953224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858441$9067C89A-8342-4EB3-B856-CBE50CD4702F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebfb906a9656037721472a56ba99dbe61d2c330","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd957935b02111cd698767b1264c52ee9b11872d","datavalue":{"value":{"amount":"+0.7826255559921265","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":"Q1858441$122D04D6-86D4-4A34-AED1-CCAA159D3931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04d3f140e56d093502c355c663252673480b2e81","datavalue":{"value":{"entity-type":"item","numeric-id":2733893,"id":"Q2733893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd957935b02111cd698767b1264c52ee9b11872d","datavalue":{"value":{"amount":"+0.7826255559921265","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":"Q1858441$C3783A7C-73BC-4C5D-B306-5DE4534B2C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49161caaa7eaf39f629db1a92ad320d38e825cea","datavalue":{"value":{"entity-type":"item","numeric-id":4472430,"id":"Q4472430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82d8903fb4dfa24cc891075be94283bfea13a063","datavalue":{"value":{"amount":"+0.7822556495666504","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":"Q1858441$B10B9526-A98D-4E97-BCC4-7BFCDB802660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe754d483eb7fbf9c412f3bff6d683833997b041","datavalue":{"value":{"entity-type":"item","numeric-id":2767990,"id":"Q2767990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"924f775a0485cfe53b3fa0b959dceb8f0620b275","datavalue":{"value":{"amount":"+0.7762477397918701","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":"Q1858441$B8B83EE6-EC93-400F-9F91-4546F7E79EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1efbdcc87bdf4d278948a3598f0651896e7d1486","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06d34bafc175026951a37a773b36e1eb7157574a","datavalue":{"value":{"amount":"+0.7762472629547119","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":"Q1858441$E44CF78B-CF41-4536-97C5-571885F736AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Syntax-directed model checking of sequential programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Syntax-directed_model_checking_of_sequential_programs"}}}}}