{"entities":{"Q3189807":{"pageid":3200515,"ns":120,"title":"Item:Q3189807","lastrevid":52089143,"modified":"2026-01-20T22:15:46Z","type":"item","id":"Q3189807","labels":{"en":{"language":"en","value":"Proving that programs eventually do something good"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6344200"}},"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":"Q3189807$EA218D27-8BD5-4AB2-8857-78F04654FB63","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"306064c4cf58278b9f8b9c1ad0325948db4ab06d","datavalue":{"value":{"text":"Proving that programs eventually do something good","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3189807$17A5A033-40BD-4B2B-8D7D-12EE8F8E1E46","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"732a447525ae32cba651e98c934f33cabae8d22f","datavalue":{"value":"1295.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189807$213ACE1F-3E23-47F5-A8FA-686542BA9CAA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8fe897fbef5caa98d0b2c5f7e6f4825a1980796f","datavalue":{"value":"10.1145/1190216.1190257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189807$2EC48128-A092-429F-9987-60CD141B1DA6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"afa51276dc7c745a3bd764db344fbb2e1cd8df8f","datavalue":{"value":{"entity-type":"item","numeric-id":470002,"id":"Q470002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189807$8813AD6E-3052-4917-A272-9888F0B099C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32d3b3601c7e7b6bbc38fb51cf988b66428601d6","datavalue":{"value":{"entity-type":"item","numeric-id":1664152,"id":"Q1664152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189807$74B29CC2-095C-4563-BB26-B98B21BED552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3527a91821d36e757e1613c0da59458b564b0344","datavalue":{"value":{"entity-type":"item","numeric-id":225062,"id":"Q225062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189807$E01BA976-D8B4-4C00-AF26-58CF47F527B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33f09e7b1eefa8c699a9d529da40fe033eb88541","datavalue":{"value":{"entity-type":"item","numeric-id":604393,"id":"Q604393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189807$94FC1224-1545-42FE-8023-481409AAAC23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189807$C7490664-51D9-4339-B0F1-CA33E75E6357","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"42ff8c7ed004bb20c7b1a2b6084e38122d4ab0d8","datavalue":{"value":{"entity-type":"item","numeric-id":3189774,"id":"Q3189774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189807$B91BDE92-0DCB-4FB8-B785-19F623E26BE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad0e577f2be69493b55b974834cf6fd5cd3ca834","datavalue":{"value":{"time":"+2014-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3189807$D61BCB77-167D-41D2-A4A6-C284257A6C82","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"33b57364026173d0810bb58a5b7e59b0defc053b","datavalue":{"value":"http://edoc.mpg.de/356677","type":"string"},"datatype":"url"},"type":"statement","id":"Q3189807$4067EC25-E46D-4454-83C3-134AD2B1BBDE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189807$993FA715-E81F-4891-A22E-F641AE5BFE46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189807$4665F091-27B4-49FC-83E7-466D35C5B320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189807$34FB903D-5AED-4105-A39C-6C3C15F4EB43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189807$4F8EE6DF-656C-4F48-BD15-C5D67579C3CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2245436885665e279ab6d093b26f40b251355cbf","datavalue":{"value":"6344200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189807$3E90ECE6-6920-4FC0-9C28-8895ED5A877B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189807$EE261F57-081D-41E7-B80B-AC8AC1E39809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189807$15B52EB8-A9B0-4DDA-AD77-5639FD0C0CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0e3f8f91d1559da40b3e6abc73d4e0baa9c0808","datavalue":{"value":"software model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189807$205A70E3-5608-4B3B-858C-DDC00B24E27F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189807$3CD1C542-CD09-4E35-8A53-61EC3F2779C8","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":"Q3189807$95F4D86B-EF74-47A4-87E7-C4B5DBEF1F59","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b28a094ee0762ffe44cf4dac78bd44f2ab392ff9","datavalue":{"value":"W3160870209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189807$B397B1E4-2805-4F1C-BDFE-5FD024ACA040","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46b7adda3fe01d8ea0af8fe53183b4ecf91892ed","datavalue":{"value":{"entity-type":"item","numeric-id":5172643,"id":"Q5172643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"712d3ec01dd8c8c58bc40ffbdb4693d9aa86a106","datavalue":{"value":{"amount":"+0.7322805523872375","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":"Q3189807$20B644BD-5A4F-436D-8C0D-9DAFF66D537A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52996586aa3b182af355ef118d4eae2cde67467e","datavalue":{"value":{"entity-type":"item","numeric-id":681349,"id":"Q681349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dab8183e311975b26d36cb781e8097c7a6103077","datavalue":{"value":{"amount":"+0.7135560512542725","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":"Q3189807$E098DF27-9E28-4AF4-8E3A-94E356BC48F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bc1a373a1fd19fae51b1607a8b546b32b1e1723","datavalue":{"value":{"entity-type":"item","numeric-id":3523172,"id":"Q3523172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9dfb8368b09f984dfb995884c4ab36a0ad5ca16","datavalue":{"value":{"amount":"+0.7075999975204468","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":"Q3189807$151BCC89-1154-4ED2-B88E-10C074EB5689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ac019636ebd13b181ea0353d4a5904588951dc3","datavalue":{"value":{"entity-type":"item","numeric-id":3719798,"id":"Q3719798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc8a8aff0b666300e2a8e320b25f447b70039c73","datavalue":{"value":{"amount":"+0.7056084871292114","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":"Q3189807$348EB7EB-3403-4B11-818D-91DCAC24D2AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"531996d86c6000f72759eaf24d96d57358980514","datavalue":{"value":{"entity-type":"item","numeric-id":6043169,"id":"Q6043169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc8cd351384e81eda77f7bf78153c5a1f9aa39ca","datavalue":{"value":{"amount":"+0.7050155401229858","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":"Q3189807$4DEAF5A8-92BA-4E2F-AFA5-BEE0E977B9C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3189807","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3189807"}}}}}