{"entities":{"Q4576210":{"pageid":6605799,"ns":120,"title":"Item:Q4576210","lastrevid":53139323,"modified":"2026-01-24T07:23:56Z","type":"item","id":"Q4576210","labels":{"en":{"language":"en","value":"Automatic verification of Golog programs via predicate abstraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6902542"}},"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":"Q4576210$602DE11E-13B8-46C8-9E0E-910117AC9D4A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c26b40cfebfb778dc2364bdda40bcc9328bc391","datavalue":{"value":"1403.68129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4576210$46ED162C-A6C4-4C24-9D39-32D957541D87","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"40d133c3f4fd676f20e8c1d4099d20fce6f37082","datavalue":{"value":"10.3233/978-1-61499-672-9-760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4576210$16E93BA2-BE1A-4B2C-B07D-8AEDC93BE5A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddfecf428e6147627f3b626e6706b97df84477a0","datavalue":{"value":{"entity-type":"item","numeric-id":4576208,"id":"Q4576208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4576210$AD562433-1B1F-4046-88E5-B7AF06D381AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b46775d2074fe56c8442690377542d2977395c5","datavalue":{"value":{"entity-type":"item","numeric-id":4576209,"id":"Q4576209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4576210$437EFFCF-1D54-418F-A951-A6A4AE306DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1dbd0bab9e267b7cf542710eb200af81ec764c1","datavalue":{"value":{"entity-type":"item","numeric-id":382862,"id":"Q382862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4576210$681CBBEF-AFEE-4DC3-866A-A5EB898BDE71","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e8d96050dc8f97139400c8a4bb666fa6fdd207e","datavalue":{"value":{"time":"+2018-07-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":"Q4576210$F1E64DDE-63FC-49C9-8660-C03804D76271","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4576210$B80D9670-162D-45C6-8F6F-00978D123674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4576210$E7FDF381-B127-4FD4-BE87-E5C7404B96FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8764976a78d9da5ebca8b413498493fed079f3cb","datavalue":{"value":"6902542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4576210$0831F15F-7EEE-4F09-A812-53239E3B266A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"043f286811bd7e3b25c26d8138a3f84c5097b5d8","datavalue":{"value":{"entity-type":"item","numeric-id":14703,"id":"Q14703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4576210$A1975061-62FC-431E-AA75-7A04FE3379F0","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":"Q4576210$3627F33E-4264-471A-9C85-176F10D0279E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bd521e012a6f822bf1bf5982369f28b6830b80f","datavalue":{"value":{"entity-type":"item","numeric-id":2849489,"id":"Q2849489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60e8f667b51a6856ae9132ca09b1b022a2fc65fd","datavalue":{"value":{"amount":"+0.788147509098053","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":"Q4576210$3B2AA128-6AD8-4D8A-9559-879EC40FA631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"346561a1b3646a9c4fee537d580e168878444d95","datavalue":{"value":{"entity-type":"item","numeric-id":2999222,"id":"Q2999222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e6b9621416039b665cc42d43ed53ff7be71e480","datavalue":{"value":{"amount":"+0.7858302593231201","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":"Q4576210$61CC8D8C-4A0A-40B8-BD2A-CF38C980DADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b79a72df44270d2dccf37be86efdc18619f9b576","datavalue":{"value":{"entity-type":"item","numeric-id":5283053,"id":"Q5283053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12199800e978e39c58b68cf21b0e49926b1095b5","datavalue":{"value":{"amount":"+0.7742516994476318","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":"Q4576210$F5FAB95D-71C7-443F-B2B4-1808177ED7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bac9d4d28f254e49858c9874367df8c34d82c78","datavalue":{"value":{"entity-type":"item","numeric-id":3176373,"id":"Q3176373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"948fe40b1baf36e6b26d166a1f9c4abe7c0ffd90","datavalue":{"value":{"amount":"+0.758481502532959","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":"Q4576210$329E8C45-83D5-426F-A541-1A08D793CDA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b59804b4fe80f5ebcf244a67cb662fdef0682497","datavalue":{"value":{"entity-type":"item","numeric-id":1687559,"id":"Q1687559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60f9dd26fe873f2453fe678934e1b0b5deffdea4","datavalue":{"value":{"amount":"+0.7558958530426025","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":"Q4576210$6CF947F1-2C3A-4621-BF21-923BAB581C42","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4576210","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4576210"}}}}}