{"entities":{"Q1601844":{"pageid":1612584,"ns":120,"title":"Item:Q1601844","lastrevid":67960341,"modified":"2026-04-12T20:29:42Z","type":"item","id":"Q1601844","labels":{"en":{"language":"en","value":"Higher order generalization and its application in program verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1761168"}},"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":"Q1601844$F048B49E-33D7-4BF0-B419-A6F82765CC7E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9707f8941aa613896f617ebc58d40e7b91eaef71","datavalue":{"value":{"text":"Higher order generalization and its application in program verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1601844$3E2971A7-47F0-44DD-8DA1-95207AFD7169","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb89d80648525a5c516dffb1f86449489d53dc48","datavalue":{"value":"1001.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601844$9FC7B888-A6EF-4E8F-8D7E-EC40EADC8E94","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cff9968d6c025dac5579940c6c14cce2586f7a24","datavalue":{"value":"10.1023/A:1018952121991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601844$FC20879E-5191-4709-A363-2E584E2EA6C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9842146dd9bd7a6582e66b99a3acea525bce204b","datavalue":{"value":{"entity-type":"item","numeric-id":1601843,"id":"Q1601843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1601844$6572195C-5D92-4C8D-AF2C-C1A891F5CD26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4870331778a3410850edefcdda83a6c21c8aad16","datavalue":{"value":{"entity-type":"item","numeric-id":1202633,"id":"Q1202633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1601844$82856F28-2CC7-4869-9F48-E9B3C5C770E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a74908072c085535999ce582dd8e421c0807eb6a","datavalue":{"value":{"entity-type":"item","numeric-id":799107,"id":"Q799107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1601844$4A45CB30-97EB-4B70-ABEA-EDA156AB6280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfa0ec8338f039e787f9ac71fa1d8f9e5f336cc8","datavalue":{"value":{"entity-type":"item","numeric-id":288805,"id":"Q288805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1601844$46693ACE-EEAD-4447-9A85-D7939B7D20C6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1601844$018B5074-338B-424D-8F10-7DDDD0B2173A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6aa0b5839eb2d6e7fb371f8a4ca03238e6998f63","datavalue":{"value":{"time":"+2002-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1601844$3D6FA0C3-5613-46EC-B30E-1F5FE952A51F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601844$D5BB13BD-7458-4D1A-968B-C32833ECE4C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c846b90cf7b6f0fc8688afa01d7a60ec7c94574f","datavalue":{"value":"1761168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601844$D91ADEE2-A6C7-4520-AC8C-96BF045381C3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df2db52a7243887f734f3533f390b79d7d369328","datavalue":{"value":"inductive inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1601844$4B4E4D4D-55FD-421D-9797-DB2A2C98FD69","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":"Q1601844$DABDC07E-EADC-48AF-88C9-D42F7B0908D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93edfd845d60c56672462defc9facae3febaf21c","datavalue":{"value":{"entity-type":"item","numeric-id":4246979,"id":"Q4246979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98902c9d23fba9e53e292ef44a6fdddfeb6843c9","datavalue":{"value":{"amount":"+0.89117830991745","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":"Q1601844$63F3379B-3F99-4474-A150-E8BE58C44F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9635844830b27570c06edab1b7d7588f6f44349a","datavalue":{"value":{"entity-type":"item","numeric-id":2437800,"id":"Q2437800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98902c9d23fba9e53e292ef44a6fdddfeb6843c9","datavalue":{"value":{"amount":"+0.89117830991745","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":"Q1601844$3DC0B03B-9992-4D1D-8631-BF1DE9D162BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e057c2f848a5e8dac66b3589f37f56412f8c783","datavalue":{"value":{"entity-type":"item","numeric-id":1122980,"id":"Q1122980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dfed7d3ba530fe37a2d0ebb55998737a19f1c80","datavalue":{"value":{"amount":"+0.7814430594444275","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":"Q1601844$0F124D80-2E17-4269-A83F-BCA55D3FDCE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcf442b32a9f8dd346b9c2ef9220fe62a42162a7","datavalue":{"value":{"entity-type":"item","numeric-id":4982625,"id":"Q4982625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52925cbf5aceedffbc4f03a076546346820ebd8d","datavalue":{"value":{"amount":"+0.7786504626274109","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":"Q1601844$7EDB9E40-82F4-4349-9262-17D50454CE7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccd8aa9650cd0807a03b63a762d34f283729cef0","datavalue":{"value":{"entity-type":"item","numeric-id":4721630,"id":"Q4721630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"203243399b2d0977247567268bcd7d2e51cfe8ba","datavalue":{"value":{"amount":"+0.7574668526649475","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":"Q1601844$D58C3731-3B89-4C58-8511-4A945695A719","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Higher order generalization and its application in program verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Higher_order_generalization_and_its_application_in_program_verification"}}}}}