{"entities":{"Q3392933":{"pageid":3403636,"ns":120,"title":"Item:Q3392933","lastrevid":50747681,"modified":"2026-01-15T00:46:49Z","type":"item","id":"Q3392933","labels":{"en":{"language":"en","value":"Invariant Checking for Programs with Procedure Calls"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5596314"}},"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":"Q3392933$F03F5767-78D0-415F-B7C6-9992E5E488AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ccd1af3de49df38363f461642381bd1b569e909","datavalue":{"value":{"text":"Invariant Checking for Programs with Procedure Calls","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3392933$A6442444-0ED5-4789-ADB0-4BBA86E757DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9aa9ef99d7f9d994cbe225aaa28c26eb0dc3ae3","datavalue":{"value":"1248.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3392933$8406F2DA-25BE-4AFD-8142-3E4FF8D311F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad911583c872c86b28f66f73d722ad1c8c6ffaec","datavalue":{"value":"10.1007/978-3-642-03237-0_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3392933$4067CB79-8469-4102-B406-A3249B047D6F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"957322e0e65309e69a1881e776e7b58b540ff033","datavalue":{"value":{"entity-type":"item","numeric-id":734040,"id":"Q734040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392933$99B9E221-930B-45F6-A51C-BDCAD1671A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78912daa4c2f606a86d62c664c42ea944a74fc3b","datavalue":{"value":{"entity-type":"item","numeric-id":1611409,"id":"Q1611409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392933$C97903CE-C564-4A83-BA4D-D19FDA131476","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392933$C00292A2-868E-402C-8266-1753A1026581","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1de6d3019de58c3b1284b728a467f4e3921f5e94","datavalue":{"value":{"time":"+2009-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3392933$097A6F76-1271-4FB1-BF37-355EC965A8B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3392933$5756FEB2-A479-47A1-91C0-C8B2D37C5016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3392933$3517E7C6-09D3-4201-BE74-961889A30E31","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6470ae415c66f18712c55a6e587d3148f0edafc5","datavalue":{"value":"5596314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3392933$4D3E5978-8AD8-48B4-9B8C-4A31639C0731","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":"Q3392933$03E6D46E-5CF9-4010-960E-CB84F3E37D1C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9bf3235c0d01477de28b7010fd6c24f3737bb20b","datavalue":{"value":"https://doi.org/10.1007/978-3-642-03237-0_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q3392933$5D095DAE-4D48-4918-AE99-30CA4453D18C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"29ed63a21cba149306f00930de1d91bd449c7115","datavalue":{"value":"W1585143074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3392933$56719458-BEC5-42C0-853D-E36595D0DCFA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"05714b3da002b8b1bc619de4e60891497dad85dd","datavalue":{"value":{"entity-type":"item","numeric-id":2942913,"id":"Q2942913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392933$A3E4312D-6D6E-4ED1-B3D1-A30D6ADB3BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86db5a5291f3a16cb567c464530440c036bb2b14","datavalue":{"value":{"entity-type":"item","numeric-id":1333268,"id":"Q1333268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392933$982ED982-C4D9-40FC-8BD2-8E42B1B83213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a133b2b9476ffc4401b56d83bdfd1f487592e7be","datavalue":{"value":{"entity-type":"item","numeric-id":2754086,"id":"Q2754086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392933$404DB547-924C-46D8-AFAB-2E4F90D04F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"426e7e2bad61168668a5d2a691974d119fa932af","datavalue":{"value":{"entity-type":"item","numeric-id":1041589,"id":"Q1041589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392933$901FB8AE-D787-49B9-A8BF-8B7EF6D5DF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f850bf881ec3b4f39fc18ccf4c1fdc396e05d1f","datavalue":{"value":{"entity-type":"item","numeric-id":5466562,"id":"Q5466562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392933$581F5F88-1D27-4DEC-B0CC-FBDC2BE40F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77b3f1cfae556fb7e21c5dd7ea6662b3d2b85c57","datavalue":{"value":{"entity-type":"item","numeric-id":5899021,"id":"Q5899021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392933$AC69CBDD-19D4-4082-A813-59C8FB7C94FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1774dfe4960a0840f2ba7e2e9f290bbde1f75301","datavalue":{"value":{"entity-type":"item","numeric-id":5452620,"id":"Q5452620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392933$DABE6AC7-14A7-4657-8973-3833761308EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4790a8f508b7827f27d4dbb0558b53e264da509","datavalue":{"value":{"entity-type":"item","numeric-id":5756498,"id":"Q5756498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392933$6F784330-2CDD-477A-8B6D-243BDDA9A8A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"490e701572a77ad468ef417827a310379188968c","datavalue":{"value":{"entity-type":"item","numeric-id":5449786,"id":"Q5449786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392933$0E934CEB-1650-4ACF-BA62-67F2D9351ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f232357ea33a81e1500bd1c1fdcc1712a44dbf5","datavalue":{"value":{"entity-type":"item","numeric-id":5711512,"id":"Q5711512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392933$D5B85DF2-18F1-4205-9136-C1C0F90E0243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3f76fff77d3d9d9b4845d1274e18b6e480264ff","datavalue":{"value":{"entity-type":"item","numeric-id":5466534,"id":"Q5466534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392933$6B981470-7DFA-4E37-A3E7-382743956F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fba0e254908fa1a9fe1b76530cfbe42551f85e9d","datavalue":{"value":{"entity-type":"item","numeric-id":3452271,"id":"Q3452271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392933$7A2C4316-0216-447A-B24F-38BAF5D93C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dce9b40671ae753c98f0219471069be7d21886b","datavalue":{"value":{"entity-type":"item","numeric-id":5316582,"id":"Q5316582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392933$BB111369-05AD-4CDF-AD8F-74D444CA31D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d46d53aaa78e4e1f3286eef514e163c5ea4ffb6","datavalue":{"value":{"entity-type":"item","numeric-id":5534924,"id":"Q5534924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392933$61E6271A-5ECD-43BE-96FE-7EF401EA08F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7024436ce79d78900d887501762f1523e2832f46","datavalue":{"value":{"entity-type":"item","numeric-id":5466544,"id":"Q5466544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392933$835E62E7-1F4B-490B-812A-6576E23F8309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82ab6e8e0bdc75b20da172ab4510ad41a1c82a0e","datavalue":{"value":{"entity-type":"item","numeric-id":3608771,"id":"Q3608771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392933$F8367D33-CB27-49FD-815C-2DBA3F2C708F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd6f07fc0570cdffe4521b725329ccdff1b189b1","datavalue":{"value":{"entity-type":"item","numeric-id":2945711,"id":"Q2945711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"444984f33335f6dc5dda47c60d70456e4617afd1","datavalue":{"value":{"amount":"+0.7832620739936829","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":"Q3392933$F07104A5-7970-4A00-BBF9-FE81DA0D76BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08b60e9fb652d1d68d74657911a8caa315e4c123","datavalue":{"value":{"entity-type":"item","numeric-id":394493,"id":"Q394493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"787b7cffdfcb3f194e3c016d801c0014255f0127","datavalue":{"value":{"amount":"+0.7279767990112305","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":"Q3392933$27723E5F-4997-4879-AAAE-9AFF46DCB739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c31f9bd1ae71ffb8e69a96d2a409d50fbc1aa141","datavalue":{"value":{"entity-type":"item","numeric-id":2828258,"id":"Q2828258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"338626a6921690d7fd084b19ffef0151b63b5cd6","datavalue":{"value":{"amount":"+0.7207702994346619","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":"Q3392933$E5515FEA-1CFF-42D9-98AC-A60E05F7EAD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b2926bb22504cc84dd44c32153de12a2f8f517e","datavalue":{"value":{"entity-type":"item","numeric-id":5738909,"id":"Q5738909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bcb596beb9501620b37576f49813ca5b812e384","datavalue":{"value":{"amount":"+0.7191993594169617","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":"Q3392933$7BBDC7DC-C82D-4FC9-B885-67DF5CBAB10A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe99c3155a8cd8b31eed3f7929cf83e502990f77","datavalue":{"value":{"entity-type":"item","numeric-id":4649295,"id":"Q4649295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d452e7ccd5b4febe0964fc03a9fb8d59506095f2","datavalue":{"value":{"amount":"+0.7057304382324219","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":"Q3392933$8DDFDEC9-160E-4374-9299-1BA312ECA59C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3392933","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3392933"}}}}}