{"entities":{"Q6535334":{"pageid":14146477,"ns":120,"title":"Item:Q6535334","lastrevid":41189622,"modified":"2025-04-18T21:38:19Z","type":"item","id":"Q6535334","labels":{"en":{"language":"en","value":"Abstract interpretation of recursive logic definitions for efficient runtime assertion checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7776862"}},"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":"Q6535334$CCF5F02A-3BE1-4EE1-9BA7-3B639DAFF6ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"422d3e36e5d722d537fcf9da3def3ec48a1f4db5","datavalue":{"value":{"text":"Abstract interpretation of recursive logic definitions for efficient runtime assertion checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535334$89235111-14FD-4CAA-B506-6C4911449F21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2c693d13b577890aa5885b064fe289a444db38a","datavalue":{"value":"1541.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535334$FE869D9B-1B4C-4924-8004-ACAD88F29079","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"428a1244e83174fd925ea94c872d9a72500d01e1","datavalue":{"value":"10.1007/978-3-031-38828-6_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535334$CBAE4999-30F2-40F8-B91B-F156AFE47477","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4779c58f83aa870f00ae7ecf61d31039c4e12847","datavalue":{"value":{"entity-type":"item","numeric-id":6535333,"id":"Q6535333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535334$37E4FC8B-6683-466F-8100-ED0A3C23A2C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7061feb2308a1a8a51508a306f1c99e469f1860a","datavalue":{"value":{"entity-type":"item","numeric-id":1671144,"id":"Q1671144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535334$D39871AE-435E-4D96-A127-3AC390D62969","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"066d1477c8c2dc8167e035c2af02788021afe714","datavalue":{"value":{"time":"+2023-12-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":"Q6535334$221A49CD-875C-4D99-ACB5-85842D3E18A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535334$F4C1E203-9D31-4780-B7B1-A5C8288FAFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535334$F8E5A99A-FAC6-4E30-9947-0EE2E87119C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535334$06285BB7-DABB-4B7D-8423-A4B0A3786A74","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ca3d9a317a10afcf2817d62469f830ba3e6a1ea","datavalue":{"value":"7776862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535334$FA70E0A7-0CA3-464F-851B-755E6D68B7BF","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":"Q6535334$F1195923-6390-4C67-8A6A-90E6722BD9FE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535334$669775D0-207A-474D-8D9F-46B84818C622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7311538a5d0aa3528f7ba756f03bb99f88f224b5","datavalue":{"value":{"entity-type":"item","numeric-id":5857678,"id":"Q5857678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535334$CEB415F9-53CB-46D5-A15C-450CAB517531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e11e5c3eca71352309a04c1cd624edb8f5231907","datavalue":{"value":{"entity-type":"item","numeric-id":6487262,"id":"Q6487262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535334$EB5BCAC2-D102-4B9C-AF67-2928E63F1843","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50f6264312a1027b1b5e1080ad2d88147897e010","datavalue":{"value":{"entity-type":"item","numeric-id":4499243,"id":"Q4499243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"704a66307b0dd9050d8c60e4de594036816db0d8","datavalue":{"value":{"amount":"+0.91147244","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":"Q6535334$60C7987C-8C73-4EF3-8528-241914770C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75e0beb13f2a57e18bd945bb12f766a141166fef","datavalue":{"value":{"entity-type":"item","numeric-id":1887175,"id":"Q1887175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"704a66307b0dd9050d8c60e4de594036816db0d8","datavalue":{"value":{"amount":"+0.91147244","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":"Q6535334$63C32B49-4D4E-445D-84C5-36D264E33C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ab94aeda0c95ed5c4c94b16752c4cc41d273ca1","datavalue":{"value":{"entity-type":"item","numeric-id":5217308,"id":"Q5217308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca4dd61be0e2885316254b088ae36b0c13c47b0a","datavalue":{"value":{"amount":"+0.8914679","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":"Q6535334$AEDC125E-D916-4BC4-B58B-F86C0DEC1CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd2774a3ca196ccddeb23f5a1832890dd92b4783","datavalue":{"value":{"entity-type":"item","numeric-id":4424850,"id":"Q4424850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efab68b5d5101227874c4e94d2b5293e85d57c7c","datavalue":{"value":{"amount":"+0.8904307","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":"Q6535334$9DB988ED-1230-4DF1-921F-B14C7E61958B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc07928af4949a1dcefbdf5fbfb948d733cd720a","datavalue":{"value":{"entity-type":"item","numeric-id":3540067,"id":"Q3540067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfcd067fcd0e0a24abe98361506f5a7e582411f4","datavalue":{"value":{"amount":"+0.8890882","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":"Q6535334$B2D65277-A471-42B3-B144-A5A9320DF715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bed03ff244bd448296e984cc4bf4f360cb72a649","datavalue":{"value":{"entity-type":"item","numeric-id":4414376,"id":"Q4414376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf888d9119d8ba68b8455580e841e304967cf3a4","datavalue":{"value":{"amount":"+0.8869162","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":"Q6535334$CD1F8406-AA09-447B-8F08-4B769A5CCC38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2170c4b2d9ca1f4390fc13c08e49797e21a01bc1","datavalue":{"value":{"entity-type":"item","numeric-id":2766776,"id":"Q2766776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5c15f2703a03f80a02820e9d09536fc46e2b562","datavalue":{"value":{"amount":"+0.88674986","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":"Q6535334$B8057AA1-3D47-49CA-BAD5-8F741BDBE5B2","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":"f884cbd2fe836dae16e1e9d91f64cca5a37e1c34","datavalue":{"value":{"amount":"+0.88563895","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":"Q6535334$B18185CA-3DF9-4077-8982-50D7EB1ABF3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535334","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535334"}}}}}