{"entities":{"Q1974332":{"pageid":1985074,"ns":120,"title":"Item:Q1974332","lastrevid":82132058,"modified":"2026-05-06T20:10:44Z","type":"item","id":"Q1974332","labels":{"en":{"language":"en","value":"Heuristic search for invariants for one class of programs. 6"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1439555"}},"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":"Q1974332$3C805F1F-7E72-4849-87DF-CC53427BCF90","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15d06323d047e6f099e0233f79a8dfa67dd8c1af","datavalue":{"value":{"text":"Heuristic search for invariants for one class of programs. 6","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1974332$A78546E2-6EAB-4D72-8215-C21146E99601","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"173946994e983129bd513f4240b6b667865538f0","datavalue":{"value":"0953.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1974332$01731247-88FB-472D-BB26-EC586D517D8A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a67b88790ae6363cfc931e9e0efa867e4045c9d7","datavalue":{"value":"10.1007/BF02733467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1974332$903A894D-5F1D-47FB-8E9C-2FDE44BDB2FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9b2c15170826cedcddd25524ff751099158a71f","datavalue":{"value":{"entity-type":"item","numeric-id":1922346,"id":"Q1922346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1974332$548E6EBF-E43B-4D94-9860-2465520F6010","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1974332$3675F6EC-2195-445E-B1B2-39E9CD09E38D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70ba7dc2fb555efbe1a7d3728b26669e2903b3e0","datavalue":{"value":{"time":"+2000-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1974332$9C980E22-B53E-4E4A-86E3-3CBF46B77EB3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1974332$F07DAA81-90A4-4A13-A00A-8BE1343A96DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"496df3bcd661ba06dce0d152e6be0bd14be167c2","datavalue":{"value":"1439555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1974332$70E33AC7-CA52-430F-8E07-C1F3E17DF206","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5206a2359ec2a279c7084b042456f0e836656036","datavalue":{"value":"verification of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1974332$607D0C30-D093-4793-9890-B317A2F8BF38","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":"Q1974332$774AD0F0-8A04-4351-877B-E360F1942902","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c8a658d2bdf21089732fbea114a571a6e1979cfc","datavalue":{"value":"https://doi.org/10.1007/bf02733467","type":"string"},"datatype":"url"},"type":"statement","id":"Q1974332$7B67DD61-6A03-4165-9B75-DD126A0D12FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eea424f296052c8b8b35f1fd5c1d1212df3c9770","datavalue":{"value":"W2083485315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1974332$CE6F2931-8F2A-4736-A9C5-6E5AE9214248","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52e1b506199af77a353cf4fd8a42ab0932c2fa35","datavalue":{"value":{"entity-type":"item","numeric-id":3706481,"id":"Q3706481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44eb13fd3590de199d33a1bf0401d7764b693859","datavalue":{"value":{"amount":"+0.84978604","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":"Q1974332$F07CDB52-8EDA-43AA-B607-6DF9B6C5E5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d96e21c91f53242c4f35eea328c507de68e90a8c","datavalue":{"value":{"entity-type":"item","numeric-id":3033332,"id":"Q3033332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d111df1187dd059976599223195d5cab7e8cce9","datavalue":{"value":{"amount":"+0.8432301","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":"Q1974332$33806BDB-2188-4732-94C9-CACA5375305E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"845df699fb834e20db93ebfa1aa3d4889c7cfadb","datavalue":{"value":{"entity-type":"item","numeric-id":3426033,"id":"Q3426033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0526bedf7d23fcfd6b664ee34ee737609112a881","datavalue":{"value":{"amount":"+0.8308996","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":"Q1974332$D30239FF-DB53-4855-9A8B-D4B2CC319F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b1b23bc6b21e615390d218bce5ec65e42827676","datavalue":{"value":{"entity-type":"item","numeric-id":518404,"id":"Q518404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dab49fe4cba9ca96e36de1ceee0016aaa274040f","datavalue":{"value":{"amount":"+0.8168687","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":"Q1974332$E359CCF7-151F-44A8-AF0C-C4CD87F07529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95a6684374f32b79f8519c13885b4aa28bc7df8e","datavalue":{"value":{"entity-type":"item","numeric-id":1077919,"id":"Q1077919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"befeee2d05d7e37f0c1888f735165a518e4c6596","datavalue":{"value":{"amount":"+0.8087285","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":"Q1974332$6488FF50-7AC6-4251-881F-70002B4F6735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d832abd46f53472b79d0cdc578d25de6a78eba2","datavalue":{"value":{"entity-type":"item","numeric-id":1364103,"id":"Q1364103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87f29a47779ea7bbc36d8d6502cfb6766ed8116a","datavalue":{"value":{"amount":"+0.8081877","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":"Q1974332$F034F1D9-803C-49F5-9CEE-8622E12EB1BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Heuristic search for invariants for one class of programs. 6","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Heuristic_search_for_invariants_for_one_class_of_programs._6"}}}}}