{"entities":{"Q394493":{"pageid":396260,"ns":120,"title":"Item:Q394493","lastrevid":61547274,"modified":"2026-04-11T00:04:27Z","type":"item","id":"Q394493","labels":{"en":{"language":"en","value":"On invariant checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6250670"}},"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":"Q394493$73AE579C-D77D-4337-B549-B7DD79703CA1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f2042b93a852b99f1f3546e6157a740c3fbb820","datavalue":{"value":{"text":"On invariant checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q394493$7D1E3FD5-BDA0-445D-BE8A-979BD93B3F56","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c3ef4055c67a06d8604500a9aafe4a4cea73a9fd","datavalue":{"value":"1310.68147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q394493$10659E88-0171-47CE-8B57-9AE6EFC66AD2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e91464b1831f0a2e299e9138fb1555cba39f183","datavalue":{"value":{"entity-type":"item","numeric-id":342283,"id":"Q342283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394493$5E0BC630-58C3-45F7-92D0-052B91E93B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a60a38320311da18eda10821922742954865726","datavalue":{"value":{"entity-type":"item","numeric-id":394492,"id":"Q394492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394493$CFBE276E-EA5C-44ED-B591-64C1154597B4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b71eb180126bfc863b84d620c8d007ebc4f3c390","datavalue":{"value":{"entity-type":"item","numeric-id":199332,"id":"Q199332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394493$ABAEBD25-290B-4A9B-8FCE-1C6AEFF5ECF0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"514272ccee13f0ca4f8248983a8b867d712f22b3","datavalue":{"value":{"time":"+2014-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q394493$5C962931-35D3-42E5-802E-0A94E36C3CB3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q394493$208952B8-ED2A-4A08-ABE0-8181577DDAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q394493$EF4FB72F-F1FB-44F8-8BD8-60EC9C08E491","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d1212ead2800b3a6cc9bcd02a25159cc63e09f5f","datavalue":{"value":"6250670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q394493$F27BF190-C5FE-481C-8268-3E194D627C9C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f082d23ececda4495232af64202f592a5942f2","datavalue":{"value":"Floyd-Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q394493$39D60390-C8E8-4F99-A6F8-CD7234F07250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e4824208d7bba949dd72987d32ffb13493eeb0e","datavalue":{"value":"invariant generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q394493$626C630B-A725-4A93-9C1C-4B663348014D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q394493$7C59D0E5-D6AE-4EDF-95F4-8A732413C217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb71ecfffda53efea7c60117fca43b17f3748dee","datavalue":{"value":"program debugging","type":"string"},"datatype":"string"},"type":"statement","id":"Q394493$446A81AA-55BD-4CDB-807C-09240B3D35E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c6b234052d577bbfc0605fdbf112f40bb1c4228","datavalue":{"value":"loop invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q394493$5945BECD-4A51-4420-B7DA-B45AB368BB6A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c22b4e6c24037f313b1837c22cc6ae0308a77c7","datavalue":{"value":{"entity-type":"item","numeric-id":13503,"id":"Q13503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394493$35F44A3B-678D-453A-9872-BC14ACBCABA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e435afb031ee44ca6c370c9a4082b74be3491e33","datavalue":{"value":{"entity-type":"item","numeric-id":16498,"id":"Q16498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394493$624EDBAB-AC94-4875-B8F0-F21A76C8577B","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":"Q394493$0F6353E9-AC90-4E85-AB63-3DD2F8D5E562","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2235d77352becc9882b1779fc815795701f80a6","datavalue":{"value":"https://doi.org/10.1007/s11424-013-1296-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q394493$6061F965-788B-416D-B73D-A0A0BE02B54A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"00a35fe9b7eeec30cce6aabb9c6356c36c5de0ea","datavalue":{"value":"W2038243321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q394493$283BA91C-7993-49EE-B8B6-318A413B7CE5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1ac7852fe8a45fe47698ca5a84bcd37a06f444ba","datavalue":{"value":"Q125290155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q394493$D739E71C-C80B-4864-9F9C-F5CE5E264D7F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f06b363f5719862f98dfbbe9bbdce60dd6b1f0","datavalue":{"value":{"entity-type":"item","numeric-id":5178905,"id":"Q5178905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394493$DCC00F8B-2A77-4D32-89CF-B71BDC1C5207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394493$EB029EAE-57A4-4DB4-A703-A598766511E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394493$0480F3F4-441D-4534-A0F8-93597913FCEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c89dbab3e6b723e605c6aa70dd1a0838f12ee2f","datavalue":{"value":{"entity-type":"item","numeric-id":859956,"id":"Q859956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394493$21429131-A913-46AA-9D08-C8A7F2482E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac80f8dd6b9c81d89f3e2f783c850787d622bd9","datavalue":{"value":{"entity-type":"item","numeric-id":2457430,"id":"Q2457430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394493$363B96BD-2B2F-4D7D-8297-1E42D8571F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"479a9e80b567553c1d8b3d175d25ba4c9879d09f","datavalue":{"value":{"entity-type":"item","numeric-id":882517,"id":"Q882517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394493$46C7BC11-1A3A-4691-BA1A-39775FCF4DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b33761cd4c211b18999de7cfdb3091c2417ed5f","datavalue":{"value":{"entity-type":"item","numeric-id":3525138,"id":"Q3525138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394493$14D48550-E5B9-4B28-86CA-25E385F65174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"189b652af24243c72eebddda9c3035f1cb08edf9","datavalue":{"value":{"entity-type":"item","numeric-id":3526926,"id":"Q3526926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394493$5472750F-9A11-45F8-9F5E-239118267994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee35b920b29b4f9dcb2d3243c04d909ecceb6c8","datavalue":{"value":{"entity-type":"item","numeric-id":5900703,"id":"Q5900703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394493$61456053-B224-4F9C-91A3-19432854E403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"632143a12812e0e87ca17f511a00c35f2ee01dd5","datavalue":{"value":{"entity-type":"item","numeric-id":3452270,"id":"Q3452270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394493$93DDBA31-9535-4FC9-8A49-2918AA0FB94F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458dfa6fd44072143815c860d3690f1687a12132","datavalue":{"value":{"entity-type":"item","numeric-id":2463543,"id":"Q2463543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394493$7D0CFE2F-A51B-4C16-B50C-894AD7992DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bc7c80135ed65b38d7fef7c0e832d27cd87588f","datavalue":{"value":{"entity-type":"item","numeric-id":3995530,"id":"Q3995530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394493$F3E0C181-7DAF-4C18-B077-2C0AA24AAF63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1246483bffaab3e83b9bc6a24128560197e08009","datavalue":{"value":{"entity-type":"item","numeric-id":3525073,"id":"Q3525073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394493$ED5FA46C-3F3D-4A0E-87DD-D9EC29CDEFAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f035e7ce71fa36b05517fb3b1000527a247baf6","datavalue":{"value":{"entity-type":"item","numeric-id":5901912,"id":"Q5901912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394493$A6947CA8-A05E-4B22-9069-C46D7B1FA7A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8c10eb504c74e47c89ec8f43dd8fd893e917cd3","datavalue":{"value":{"entity-type":"item","numeric-id":5312946,"id":"Q5312946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394493$51F44901-8BA5-43B3-AF0D-00F430E607EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cca9f9428ea63e6117d5a41c3da120c355291ed","datavalue":{"value":{"entity-type":"item","numeric-id":5711486,"id":"Q5711486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394493$C5DF16AD-4640-43BF-A9D7-190F06461B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017dca64578e6979a09aeeb8b382b1388bace1b7","datavalue":{"value":{"entity-type":"item","numeric-id":4810199,"id":"Q4810199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394493$75B3225D-CD35-487B-899C-830783750A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcdd88c0187437df1dd77abdaba504f2664c711b","datavalue":{"value":{"entity-type":"item","numeric-id":939166,"id":"Q939166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q394493$A78B8466-75D3-422C-8570-01DF13A18459","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"005de1ab924f8c7c102450332c4c070858c383a5","datavalue":{"value":"10.1007/S11424-013-1296-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q394493$A7D1C161-8A6E-49AF-B553-A079EB336D0E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32d3276762406fd5b69340bd3ed4e749c2093b78","datavalue":{"value":{"entity-type":"item","numeric-id":5709984,"id":"Q5709984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd11d2e23a162b7c049bb1319a780b88ea7623ea","datavalue":{"value":{"amount":"+0.7539724707603455","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":"Q394493$BD8CD78B-8F40-46AE-B4A7-594B0D275BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f464b64c5ce744bcc9e044bb866ec7efefd38317","datavalue":{"value":{"entity-type":"item","numeric-id":604381,"id":"Q604381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae8e27259819fcf56289ee3c77742ebb90d5affd","datavalue":{"value":{"amount":"+0.7457408905029297","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":"Q394493$0479A86A-0AEA-46C5-8064-8973DDEEA470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cb23bd8c9cdca6792eabcff20647876a470cc75","datavalue":{"value":{"entity-type":"item","numeric-id":5096093,"id":"Q5096093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f1330f8d63f4a96ce40705cd33d910edc667f61","datavalue":{"value":{"amount":"+0.7402831315994263","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":"Q394493$ED3607C0-87EC-43D5-A367-37E8F315D3C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd18d3cac23c09596baa20c6cbc8879b4e8ac7bb","datavalue":{"value":{"entity-type":"item","numeric-id":4647830,"id":"Q4647830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f1bc617b8d20179c6331eaa33efb8e144ce7f94","datavalue":{"value":{"amount":"+0.7379397749900818","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":"Q394493$26A87E89-5F1B-47C0-A3A3-28E1374DCF32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0605ef596d929245fcfc8a407c55f9f17fb78984","datavalue":{"value":{"entity-type":"item","numeric-id":3586008,"id":"Q3586008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc5a85a2a048b93ced8de94bac425468af170820","datavalue":{"value":{"amount":"+0.7355614304542542","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":"Q394493$0AF880DD-DF3F-4DA0-98B3-632134BA0A7E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On invariant checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_invariant_checking"}}}}}