{"entities":{"Q2233444":{"pageid":2244187,"ns":120,"title":"Item:Q2233444","lastrevid":57686115,"modified":"2026-03-31T22:05:22Z","type":"item","id":"Q2233444","labels":{"en":{"language":"en","value":"The decidability of verification under PS 2.0"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410453"}},"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":"Q2233444$7F44CDB1-6B96-4E43-96FA-1655FA2653D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca1e90ede6c4bf24bc5f93cabd71f3183897df1a","datavalue":{"value":{"text":"The decidability of verification under PS 2.0","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2233444$D6756E80-03E4-4D09-94DF-76E31018E105","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87458f8d6a917148668084727504b0251119eeeb","datavalue":{"value":"1474.68187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233444$43E35935-120F-4BC7-BE2E-B96AFA58EA06","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ebd12763d51e82e940523530c4bfa6c351e6a328","datavalue":{"value":"10.1007/978-3-030-72019-3_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233444$BE1F3524-9F13-44E0-A4E8-8965E34A5396","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233444$FB934451-E466-4EC1-AE2F-5C87D5D62EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de80e021db34435e21a6613c8105f91a5d942b85","datavalue":{"value":{"entity-type":"item","numeric-id":479840,"id":"Q479840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233444$A66D9EB5-AACE-4023-8A71-BFB5368BEB22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"26e25637f2074190708da86c091957282a3e7a25","datavalue":{"value":{"entity-type":"item","numeric-id":2233443,"id":"Q2233443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233444$1216BC58-E11E-4302-A6D3-10FE8A8476B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6807c838a0c13cc8536b7508e779053a5949ccae","datavalue":{"value":{"entity-type":"item","numeric-id":537906,"id":"Q537906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233444$BBE6A71C-54C0-4582-8D8D-8E2C7BF9A62C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"21d1948b4a2322fe9397f00e40ae794a937c1ccc","datavalue":{"value":{"entity-type":"item","numeric-id":1664149,"id":"Q1664149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233444$D56C658A-E757-470E-A6FA-2D4692A7F3F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-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":"Q2233444$0A3784C4-C12F-421B-92E3-2D02D9A68C97","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233444$58079662-A8CA-4F98-BC1E-88FE67ECAAF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233444$9F327EB2-4AB8-4288-A214-4401213F0D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233444$1ECA8CEB-711C-4C83-83ED-BC005079A4CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f7e6a87a6028f82db9ede7e5fd7a966505fce94","datavalue":{"value":"7410453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233444$544F4F0A-42A8-490A-A7D6-70A2C7C538B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233444$EC982A02-14BB-437D-9682-10F7514DF02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a68c98cef5c6e19b7919633d94f20b3cba6f8d5","datavalue":{"value":"memory models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233444$89B4F425-8B40-4BC6-91DA-B50EFF150410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b17c35c122579a05f01970ac45aff63f1dc1e341","datavalue":{"value":"promising semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233444$532A8781-F597-45AF-BB19-7A877B92B14D","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":"Q2233444$0C61CDA7-3516-4680-BB33-17A646B02C01","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d81d97a5022fc7e159375417a2aacabf4b054f6e","datavalue":{"value":"https://doi.org/10.1007/978-3-030-72019-3_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2233444$92897944-CFFF-43D3-80AC-31A0D495D207","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cebd8e9769bdef01e08ff1ac11e4fa3e84563abd","datavalue":{"value":"W3138980809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233444$49063A1E-D41D-4255-AEDD-417FDF69AB03","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e94cba08ae745a177d77c1491f4f47f8e7dfaf89","datavalue":{"value":{"entity-type":"item","numeric-id":593176,"id":"Q593176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233444$E499A3CD-FA45-4C45-A3C1-A9BAF56C0B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ec8d43ed048ef7cdf925718071d97b5b9e8b253","datavalue":{"value":{"entity-type":"item","numeric-id":2233444,"id":"Q2233444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233444$BEAE996D-32E1-47FB-9334-9767CDCB2716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca640f3efd730e5f875de06c5db75843c006cff","datavalue":{"value":{"entity-type":"item","numeric-id":1923094,"id":"Q1923094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233444$418CC305-86A2-45B4-87C4-ED8EB2C17633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec4ebf12cf2eb62c6833574ce09cdeadc67088b9","datavalue":{"value":{"entity-type":"item","numeric-id":5255057,"id":"Q5255057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233444$1439791C-1AA4-460C-82EA-304247D92CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f33956c849ab9ecccf10e7be1fdcaeb3a3b333b3","datavalue":{"value":{"entity-type":"item","numeric-id":5408560,"id":"Q5408560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233444$6D6621C5-2419-4735-9857-6EEBEFCAFDB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233444$518D59EC-634E-44A4-A033-C633D65D2872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06e24dfcf208ad7ddc97aa163494313cd9959a87","datavalue":{"value":{"entity-type":"item","numeric-id":5370854,"id":"Q5370854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233444$67532004-BB9B-4CA2-8469-4CBB567D0BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"695280e4ca4193f87a4205c51623f2457674e7d9","datavalue":{"value":{"entity-type":"item","numeric-id":1039852,"id":"Q1039852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233444$57C56421-18A8-4041-B3E9-58E20B4B493B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aad708b8e4e30e35c3846234774de37622f45350","datavalue":{"value":{"entity-type":"item","numeric-id":5276162,"id":"Q5276162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233444$0B6CF9F4-6FD2-4F43-B894-7A768F40BD29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"758f34ad23e2758a87a12540215d5aa42e2ea7cd","datavalue":{"value":{"entity-type":"item","numeric-id":5041113,"id":"Q5041113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233444$B8F0570C-6D33-43C2-80E3-2774E4266A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a8d14eae1fab181499f44d4720082adebedfb9","datavalue":{"value":{"entity-type":"item","numeric-id":5845383,"id":"Q5845383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233444$4B65F0BA-7398-4EAE-BA71-F3AD545F3404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06a1669ea55c70484627fcb886923a0a7a7abbca","datavalue":{"value":{"entity-type":"item","numeric-id":5703798,"id":"Q5703798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233444$93E06EA9-7740-4CB7-9282-A1FFDD02CE76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aded3f9c41f40827cb7b1b61c5c29bdb1bd7f42","datavalue":{"value":{"entity-type":"item","numeric-id":2323985,"id":"Q2323985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233444$CC57E2E7-8767-4A0D-820C-EB57B8CA6976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b3d28acd643d396b152fcaf01bfc8613dfbfd42","datavalue":{"value":{"entity-type":"item","numeric-id":5458334,"id":"Q5458334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233444$00CC2135-FFE1-4E20-9F33-302346B0A5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af455bfb18abe030b463d5d487b0c4da7e11984a","datavalue":{"value":{"entity-type":"item","numeric-id":3636878,"id":"Q3636878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233444$EB485DBE-A4C9-435A-8770-7773EF142F01","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"637c22a48ae2b0053e68989dbe169654adc18eda","datavalue":{"value":{"entity-type":"item","numeric-id":5255057,"id":"Q5255057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0046682090b1135b1f2f6961ccd8e579fbcc4b00","datavalue":{"value":{"amount":"+0.7991766929626465","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":"Q2233444$A715B172-4201-41B1-84FB-65E1A383D972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"201d04d612ea916c69dadb40c389ee1da5c03627","datavalue":{"value":{"entity-type":"item","numeric-id":2892719,"id":"Q2892719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c0c63c39d83c0e6c691860be5135cd29733208b","datavalue":{"value":{"amount":"+0.7693875432014465","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":"Q2233444$DFD14445-17A4-4E82-B279-DD8EEEBC40BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b74bb5f99edbd883eab6a2a56003424421306974","datavalue":{"value":{"entity-type":"item","numeric-id":5170741,"id":"Q5170741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b75578e7b2a77b6f92c04e70f93c8c186d8ead5a","datavalue":{"value":{"amount":"+0.7237297296524048","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":"Q2233444$CBF05415-472A-4FCC-88B3-629AC94F6669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"920846cee47ebcd0c156e2badd883856874915ab","datavalue":{"value":{"entity-type":"item","numeric-id":681346,"id":"Q681346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbac7cd25683e106ba9842b52f71afb157165de0","datavalue":{"value":{"amount":"+0.7190830707550049","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":"Q2233444$2914D274-EE32-49F8-93BB-91896421A355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"328db2c46ea67cb5b17724395635f337ebd4f5eb","datavalue":{"value":{"entity-type":"item","numeric-id":2817949,"id":"Q2817949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0097a50112281a30cf58054b3119b8b1805d2479","datavalue":{"value":{"amount":"+0.7157981395721436","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":"Q2233444$8C3E95B6-9C3C-409F-934F-7A9FED65A5DF","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233444$13CE8C2F-07D6-4BD4-BF51-4FA4F2FDCB4A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2233444","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2233444"}}}}}