{"entities":{"Q3067480":{"pageid":3078196,"ns":120,"title":"Item:Q3067480","lastrevid":51169805,"modified":"2026-01-17T01:34:16Z","type":"item","id":"Q3067480","labels":{"en":{"language":"en","value":"An assume guarantee approach for checking quantified array assertions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5839832"}},"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":"Q3067480$E839DE9D-1678-44D3-B447-40B872BBCEA2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18b677b62bac554aa056a7c479a29b4d1d2c0e2c","datavalue":{"value":{"text":"An Assume Guarantee Approach for Checking Quantified Array Assertions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3067480$1755434C-DCF0-4EAC-BD24-1261CA553AAB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5775b026f1260715db57c7294f06e0975cc35fcd","datavalue":{"value":"1308.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067480$00F67F8D-7862-4B9E-A115-8A4DC5C919D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28f987df257ba2ef88ac9556803b0e63ce3d298b","datavalue":{"value":"10.1007/978-3-642-17796-5_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067480$62C979CA-86B7-4394-A5CE-E05C24F9A17B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc663e4e1b1b01bdb807bcb364eb0ac57acb9da6","datavalue":{"value":{"entity-type":"item","numeric-id":2789047,"id":"Q2789047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067480$C843447C-2EE2-4683-A741-553A37A49FB6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61858cb81e4b5eb34d2de9199633f44c2ecae313","datavalue":{"value":{"entity-type":"item","numeric-id":2996122,"id":"Q2996122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067480$660AE791-A31E-4EAE-97B3-2C77AADDFF6B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3832aa8c4413a9f491fedd54c1d4e68094c46118","datavalue":{"value":{"time":"+2011-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3067480$5C9EAC0C-C7A2-488F-B08F-2998343BBF34","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067480$EC0DBE91-D140-4A05-9409-35537CBA79F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3359536c97365cd7aacf8e95c9c645f4524dd5cd","datavalue":{"value":"5839832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067480$63545B71-FD43-4FD8-B12C-82519BE9EEDB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f2da37656ca9a865bd90c1dea26dd9a328d91b48","datavalue":{"value":{"entity-type":"item","numeric-id":15223,"id":"Q15223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067480$9FEBBA3D-F897-4487-B6D3-060D8C5FFB39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067480$FC8E3889-6572-4EED-803E-F03A1B7282F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067480$3F0A41B3-9BEA-4B74-A20D-1929E99E42ED","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":"Q3067480$998F9A34-11FE-466F-B6BE-1A6C0689D208","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04ddaee0cee810723affadff497df29514e0883f","datavalue":{"value":"https://doi.org/10.1007/978-3-642-17796-5_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3067480$D78A7F77-FD5F-411C-A568-692BA53AF1C5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bfe7e4554173be1fc1eefe263326e9afc132d019","datavalue":{"value":"W2127524911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067480$8E8C7811-A35E-421A-A7CC-1C4F65FF7B39","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e25f97d863b678de339f343f28e44115ff865f8b","datavalue":{"value":{"entity-type":"item","numeric-id":5452621,"id":"Q5452621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067480$FC6D86EE-C453-4FC3-B89F-858B96C548E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067480$27D3311A-8D7F-4CCB-A48A-31A2D1FDAF07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66ad83169ed8389564075d9eacd3961be1c6400d","datavalue":{"value":{"entity-type":"item","numeric-id":3189843,"id":"Q3189843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067480$F0C627BA-3708-4823-88DE-7C0A9453C5A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c21e537ab0c07b0d3849b9a7e5a291ced75540","datavalue":{"value":{"entity-type":"item","numeric-id":5178898,"id":"Q5178898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067480$02703AA6-8222-46F4-A82A-AF33E88DBD3F","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":"Q3067480$EBA2EA99-89C5-4ED7-932D-43F6DB561E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d14495826aa264560d537df53aac6867722fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5901914,"id":"Q5901914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067480$97AF41B0-FA09-46B1-8FED-1E1BE0B87C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"911eaa0bccad8b17d2996fe857c127dd4e89f404","datavalue":{"value":{"entity-type":"item","numeric-id":5897437,"id":"Q5897437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067480$7DA50A1C-6721-409F-8F73-4393168E39F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a574ab536b9912335aad961dffa8e10e5de9c9","datavalue":{"value":{"entity-type":"item","numeric-id":3392917,"id":"Q3392917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067480$F041F776-1E5F-4977-A1B3-663784BB605A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae1ce7c36cb4433e3b70369b96f6c76af9c0b0f0","datavalue":{"value":{"entity-type":"item","numeric-id":3392917,"id":"Q3392917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99bf2a21a7a2b511b59d1d13f03333a66b08f80c","datavalue":{"value":{"amount":"+0.823713481426239","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":"Q3067480$834A8320-CD8D-41BC-B9A3-1C0B1AA08B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d0ff17ec6498d24801a74812f7e63fe7518c3c2","datavalue":{"value":{"entity-type":"item","numeric-id":2848907,"id":"Q2848907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3930ef37bb3b46b191b152ac0f86ec6852434711","datavalue":{"value":{"amount":"+0.8207572102546692","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":"Q3067480$9AAD8514-8001-42DC-9BA9-63803952604E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f7bf2d7fdcea1493e50fa7a5e719edd02efd2fe","datavalue":{"value":{"entity-type":"item","numeric-id":2938066,"id":"Q2938066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6386f8fe1e3362942d446f7bce7b5dc0b0f12b0","datavalue":{"value":{"amount":"+0.7502834796905518","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":"Q3067480$9AA6BB8C-7076-42AC-BDB9-386E3685242F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c56123246bfdafbccec12b34de610c57b3a6f8b","datavalue":{"value":{"entity-type":"item","numeric-id":2949696,"id":"Q2949696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cf202262d9463864cbbbf924bd1c4f2c378004a","datavalue":{"value":{"amount":"+0.7482298016548157","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":"Q3067480$6F1802F7-4C20-489A-81C4-0F657B0EEF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84befa268de10235a1bff93ee7556136f5b306aa","datavalue":{"value":{"entity-type":"item","numeric-id":6109591,"id":"Q6109591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03915c0b860675c4b4138c0479ebd006d58e0398","datavalue":{"value":{"amount":"+0.7331943511962891","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":"Q3067480$BC183898-E0E1-4581-8D17-FC481C334F63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3067480","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3067480"}}}}}