{"entities":{"Q915483":{"pageid":917331,"ns":120,"title":"Item:Q915483","lastrevid":49389157,"modified":"2026-01-07T02:05:53Z","type":"item","id":"Q915483","labels":{"en":{"language":"en","value":"Strictness analysis aids inductive proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4151846"}},"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":"Q915483$E89B714E-D477-4B18-BE73-CF2CFB53E585","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8621c6e544c6a827abf26e0f4f9657c95870ccf5","datavalue":{"value":{"text":"Strictness analysis aids inductive proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q915483$C208CEFB-286F-4C25-BF1A-09D2E01B4617","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8dd7560789ece57f5cccea7600305d88f053623d","datavalue":{"value":"0702.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915483$61290B67-9BDA-487E-AF19-FDDA1E898389","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad9d35ac532ccd07c5448b30749b9d83716297d6","datavalue":{"value":"10.1016/0020-0190(90)90065-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915483$B49B7408-37B0-4E25-AF28-A378B33446D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2481684a9f8efec010dd63630750755d16170d8f","datavalue":{"value":{"entity-type":"item","numeric-id":915482,"id":"Q915482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915483$3213DD6E-C0A5-4813-ADAE-0B6AE1E257AD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915483$2130D04B-6171-4011-8DAD-E7169E121CDC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q915483$A0C792F4-6B0F-4EF0-8215-C56F2593F86D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915483$218CBA50-972D-46E1-9656-DF342B4DE86D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915483$A028B070-12CB-4012-AB1B-968497843BAB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea3b19d1714c34801838fe3aa72a53f04351a85f","datavalue":{"value":"4151846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915483$2378F7C5-C720-4F0A-9F17-AFAE560C18B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d58a35552e8caf753c45488647b8f2d4e20854c","datavalue":{"value":"admissible predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q915483$AB310F57-7A4C-4EDB-A6FC-7F8766FB006C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af61ebf07455b491078594b026930b3701f75079","datavalue":{"value":"projections","type":"string"},"datatype":"string"},"type":"statement","id":"Q915483$A80673D5-9E34-4A49-A938-8CCC07925CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43b9c5303d28802429b73e4c9d563d4f80058940","datavalue":{"value":"retracts","type":"string"},"datatype":"string"},"type":"statement","id":"Q915483$96E7F21C-9299-4D50-A97A-6E0DB2CB875D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5a54bfe4160c4136119f69df3dba514b7baad5f","datavalue":{"value":"strictness analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q915483$CCC964FF-B446-4375-9DBE-098FF9D049A7","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":"Q915483$5B27BBE8-81BB-4DCF-8364-40E13869D5E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c0700b9044416465756158707fbd91cc4f824f0","datavalue":{"value":"https://doi.org/10.1016/0020-0190(90)90065-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q915483$3958AF06-C164-4104-BDBD-3DBB5E1780D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f387318e51e9ab03fa373dba0fa4561b78c97f6","datavalue":{"value":"W2060001073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915483$58A39C1D-39C3-4800-BB77-7B1F782CF213","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3b644b15a6886f262aec494ab05cf1502d49f16","datavalue":{"value":{"entity-type":"item","numeric-id":3028326,"id":"Q3028326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915483$796A7789-E161-4AF5-B40D-AF871786F9AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2210e42a745acd3fde9aaf4e65aaf2250ab240a","datavalue":{"value":{"entity-type":"item","numeric-id":2757801,"id":"Q2757801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"777591b80abe2bf0df7864df0099231b990b511c","datavalue":{"value":{"amount":"+0.7249898314476013","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":"Q915483$66EF9FB5-F959-421F-A7B1-6A06D7C340E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e478ae7c70ec4afc6c78e224f2f83f91924cc13c","datavalue":{"value":{"entity-type":"item","numeric-id":4376980,"id":"Q4376980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74678e00aceb743a395480fb8e18c0002147c497","datavalue":{"value":{"amount":"+0.7198755741119385","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":"Q915483$9B72D7C5-4C68-4D56-AA5C-7AD33A1B20EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18a77c94e5db8a3a3fda09edd68abf0f2890d550","datavalue":{"value":{"entity-type":"item","numeric-id":5096753,"id":"Q5096753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a3a705cb5fb474914e59a97e9287921ea6ca43c","datavalue":{"value":{"amount":"+0.7012202143669128","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":"Q915483$BE053AB3-CE46-4A94-8E99-A682CFB39EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cb6deb32d57e2dca394f0c58db6af3fa7495f6f","datavalue":{"value":{"entity-type":"item","numeric-id":3028326,"id":"Q3028326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6411e7ea27659bb4d2b9959fadfdb8a85dd36f9","datavalue":{"value":{"amount":"+0.6979727149009705","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":"Q915483$2081ED04-B1D6-4857-8B1C-408160465074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f88fc7721af382cc5b57a640bcf3c7ea5d2744b","datavalue":{"value":{"entity-type":"item","numeric-id":1818314,"id":"Q1818314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e41e72f2402cd7aff232ce05a6493a5e68e77aa","datavalue":{"value":{"amount":"+0.6895644068717957","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":"Q915483$376C3A5A-98F5-4D93-B4FD-928B9489FCD4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:915483","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:915483"}}}}}