{"entities":{"Q373632":{"pageid":375399,"ns":120,"title":"Item:Q373632","lastrevid":61345458,"modified":"2026-04-10T22:46:19Z","type":"item","id":"Q373632","labels":{"en":{"language":"en","value":"Proceedings of the programming languages meets program verification (PLPV 2006), Seattle, WA, USA, August 21, 2006"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6216247"}},"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":"Q373632$848D5DA2-C7E6-46CE-8EBC-B562B2857AD8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a170a87242f62084ee5b20984fa30c896e47101","datavalue":{"value":{"text":"Proceedings of the programming languages meets program verification (PLPV 2006), Seattle, WA, USA, August 21, 2006","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q373632$5F62E2AC-A3FA-405D-BD47-8DD65A5211F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e282c56c4feb05b0a2d92275650ecd8d9886da8","datavalue":{"value":"1273.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373632$F2AC2891-5FD0-43F8-A144-1425FB15FA3E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q373632$8FEC5B6C-AA7C-42A9-8FE4-A3B404CEDC22","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e1b5304373ae38bc09a24211814db713fe903318","datavalue":{"value":{"time":"+2013-10-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":"Q373632$C9CED5E9-2077-41A9-9729-36A0AA5C1FF3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f7cf7daa956b8aa5c3db23af1424c686ed4a49e6","datavalue":{"value":"http://www.sciencedirect.com/science/journal/15710661/174/7","type":"string"},"datatype":"url"},"type":"statement","id":"Q373632$FCD44142-258D-4F6C-839B-B1005620D683","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373632$379637BE-585F-4355-9AB4-744C4BE001C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373632$2E99DE2D-332E-4540-8783-C0E7C05E2323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373632$50C7077C-4F72-4025-9794-97ABE07BDA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373632$2FF74686-A9EF-4889-9361-2BC6AAB8AD40","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1c95117d754dd3291cad6f9f691432f3f0b3a94","datavalue":{"value":"6216247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373632$FE7F8E8A-0981-450D-8864-747C4C9D8B98","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q373632$2B551C07-54FF-4D25-B100-47817033CEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5e12a5bc154ad67aa9b674da476cd2afc9531b51","datavalue":{"value":{"entity-type":"item","numeric-id":33982,"id":"Q33982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q373632$CC3F922F-EBF0-4C65-9F7D-CFB1371A217E","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":"Q373632$0B1A56BD-7A2A-4BD2-8AAE-91C6CC4D33F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fd9661659459e636154783257c42a1c6ad870e9","datavalue":{"value":{"entity-type":"item","numeric-id":5747534,"id":"Q5747534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d783370fdb436c15a9ae326bd11fd52a07e99477","datavalue":{"value":{"amount":"+0.8688447","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q373632$4A6F9BC9-3BA2-4D6A-B357-A68505EAA261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e6d988744db207b16862d731313281beeee47cc","datavalue":{"value":{"entity-type":"item","numeric-id":5747527,"id":"Q5747527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d340e717f1a7606463b16e828695e12e9de9a807","datavalue":{"value":{"amount":"+0.8620321","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q373632$4D2A003D-D4EF-4128-BE4E-58F88D22C5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f51f0d48d59b5f35c62c56c7e7e737799113bc6","datavalue":{"value":{"entity-type":"item","numeric-id":5747533,"id":"Q5747533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"861f00bd853ff5044caf04b9f76404336be7e453","datavalue":{"value":{"amount":"+0.85898703","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q373632$8D643CC5-E7BD-4055-A0D8-FB7EB7515E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48a1951e7a0dbe63c670744aef0a35e4b180e9f6","datavalue":{"value":{"entity-type":"item","numeric-id":2787454,"id":"Q2787454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"219a5a676bcf10612f45a8df630f57acd923b5ec","datavalue":{"value":{"amount":"+0.8584609","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q373632$A338D72D-3B36-4E50-8158-E8A82F1B57C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe1d470bee65849923be53826bc8ad386240ca92","datavalue":{"value":{"entity-type":"item","numeric-id":5747536,"id":"Q5747536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6003831ad854342d99fe4cabd54a30284b382805","datavalue":{"value":{"amount":"+0.85630167","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q373632$471F29AA-43BB-42A8-8780-B0651479898E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cddf8416b8c08c11d6430b2d13cd9ab122aff19","datavalue":{"value":{"entity-type":"item","numeric-id":5747531,"id":"Q5747531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ee4fbc9d24efef46f9701069197e602c317aa25","datavalue":{"value":{"amount":"+0.8542977","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q373632$BC803EB6-2B43-455A-837D-6D419D2D35F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01417de71c10c8aa33402f359f2d81c57e9a8f43","datavalue":{"value":{"entity-type":"item","numeric-id":372326,"id":"Q372326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f45eb597640b0e59ff1b23fb8716a09cb8602ea","datavalue":{"value":{"amount":"+0.8530938","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q373632$A0F77866-AADB-4276-925A-76F6D2FAA5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a34ba54a75409a2902c04421224b5f6bd7ce386c","datavalue":{"value":{"entity-type":"item","numeric-id":466002,"id":"Q466002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a35ad0a284384f1e68257087759fb36d20c0755","datavalue":{"value":{"amount":"+0.8519257","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q373632$35721FC6-B9DF-4BF0-B0C3-DF34C90052EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f6d09ae646d97de8661b72adb0e285211ef6609","datavalue":{"value":{"entity-type":"item","numeric-id":5395553,"id":"Q5395553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"704e57e652f0731034fd391e3ab75a17f16bfbcb","datavalue":{"value":{"amount":"+0.8507725","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q373632$826A7F82-238E-4249-BBB2-04074E4480C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67e1e9bd069dbd7d24ec6854eca0cf39b7f1a39e","datavalue":{"value":{"entity-type":"item","numeric-id":5747525,"id":"Q5747525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ff2c84475dc7f3c80f010b3693eb21b7d56d041","datavalue":{"value":{"amount":"+0.848017","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q373632$76AED63D-5E8A-4144-9916-B6E7B91FC747","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proceedings of the programming languages meets program verification (PLPV 2006), Seattle, WA, USA, August 21, 2006","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proceedings_of_the_programming_languages_meets_program_verification_(PLPV_2006),_Seattle,_WA,_USA,_August_21,_2006"}}}}}