{"entities":{"Q3868729":{"pageid":5898634,"ns":120,"title":"Item:Q3868729","lastrevid":54571166,"modified":"2026-01-28T18:09:57Z","type":"item","id":"Q3868729","labels":{"en":{"language":"en","value":"ADI: Automatic Derivation of Invariants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3671651"}},"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":"Q3868729$BCDB2BFE-6BC8-4609-9AFC-82313B7C871D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"802ba7371e26b5a5fbb7a6a516ecdd92b91f9a53","datavalue":{"value":{"text":"ADI: Automatic Derivation of Invariants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3868729$225F4172-3195-4B62-9595-84A43F57CD8D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a928269b783559783063f4f66861bf6ed48eb18f","datavalue":{"value":"0431.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3868729$2DC273E5-C54D-4C55-9547-DB52BE40E72D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1aa8bc199181067cc388bf535c97d8a445e8cb1c","datavalue":{"value":"10.1109/TSE.1980.230461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3868729$0C6B0DB6-EBF7-4C2E-8D28-A0C6E7FAC4B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd314e6ead9f418aa129ff30e64555a9f60ed4c5","datavalue":{"value":{"entity-type":"item","numeric-id":3868728,"id":"Q3868728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3868729$F0C85644-EC13-4165-99D3-DCB933A9E3BA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"220b294d2d3a2e498b04ba0341eb4d18d93bc02f","datavalue":{"value":{"entity-type":"item","numeric-id":150608,"id":"Q150608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3868729$C10A1FEF-A3B7-4A5A-A35E-573C2EA81C2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3868729$B71F316D-5432-4494-85CD-CDED1699957F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3868729$76021E95-614E-42C6-9466-ECB59C9D8C6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6dcb043ac50ad44ba89cfffe3a8429f627f0d0f4","datavalue":{"value":"3671651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3868729$727356BA-10CA-43B4-B649-AEF670A518DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74a04a021a77bba5651023c11f8d001bbcfe5594","datavalue":{"value":"mechanical program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3868729$D6901C73-7770-4A2E-9657-6BA37C6CEAC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b72a068fad898f9aa97373e7c049197981435849","datavalue":{"value":"ADI","type":"string"},"datatype":"string"},"type":"statement","id":"Q3868729$17BD4512-C9D9-489F-AA27-B374C05C1716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31f069e4b8c2dfe13bdb97615a6a87ba13f9b090","datavalue":{"value":"QLISP","type":"string"},"datatype":"string"},"type":"statement","id":"Q3868729$11267600-C2D9-4311-916A-87A329D7C40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"929e026e26211c638e0e626dd465559c0f18106c","datavalue":{"value":"assertions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3868729$CB7B981D-A3B3-4E55-9539-9F6C7807983C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ca32413f1d623ef3eb8d4a14ac759e926ea85f","datavalue":{"value":"invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q3868729$1ACD3A5A-E160-4D39-A257-1156117EBF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3868729$1D3AD011-999A-43CD-8A1A-14141D092848","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":"Q3868729$9BC34EA4-043D-43D4-B84D-19AE269C2C85","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3868729","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3868729"}}}}}