{"entities":{"Q4028349":{"pageid":6058103,"ns":120,"title":"Item:Q4028349","lastrevid":55215430,"modified":"2026-02-04T22:09:12Z","type":"item","id":"Q4028349","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 139989"}},"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":"Q4028349$47F6B948-2E82-4A1A-BC78-D5EEACF60C90","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41b91185cb6d57d93b5f2e2117175538cf340082","datavalue":{"value":"0768.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028349$4503C3E6-1096-4BAA-A120-944421879EE0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f07cfac6dc00f3aa34fdadc5aebc0d4dedb21b5","datavalue":{"value":{"entity-type":"item","numeric-id":4028348,"id":"Q4028348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4028349$BE4014D7-B9BC-424F-B4C6-C64779778B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddbfa55e5fdc889d7de018d5f9ac50965608fce9","datavalue":{"value":{"entity-type":"item","numeric-id":701020,"id":"Q701020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4028349$699C50B6-4C90-4BDD-BDE5-72948B4C2671","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e126f0a627a644e456ce20a058877c46ad749c68","datavalue":{"value":{"time":"+1993-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4028349$AA461BBD-300C-49C4-8433-4F840120BF3F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028349$3AEC738D-DD03-45EC-8FA3-593009A5D0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028349$1CCFC31E-1070-4E76-BA20-91FA815B0E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028349$AD694243-6CF0-4C1D-8E40-E9B3C54A84C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a98ec3e71ee922da9cb2f2bc539890d3b9b1578","datavalue":{"value":"139989","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028349$666C67E7-3974-4A9D-A7F6-AD985C493EF9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028349$948D2999-44A0-484D-AAC5-81C3B8D0A95D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc04a3cfed4fa7cb1912e1ef1783aaa1275b24b0","datavalue":{"value":"equational axiomatic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028349$06F2A4A0-2BDC-4033-B463-62C4CB3740FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"750e1d5fecc55d1a94199e5dadb954a6df7db358","datavalue":{"value":"development of formally verified software","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028349$5C77E981-C584-4A59-8D75-80398E7D08F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28e2a4afd79bf7b02315208d4f960f7dda17d566","datavalue":{"value":"interactive generation of inductive proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028349$76452CF7-B8E4-4727-875D-E56818A76947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50e20429622ec08ba47dc9e7a4c57de8bf8a42d9","datavalue":{"value":"narrowing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028349$1F78868C-CF26-4A56-A524-04BD1B5AA51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028349$8EFA7687-71CA-4695-9AB2-7E673B93B551","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":"Q4028349$AFF7C57C-CC63-4BD2-B106-13F395E6A962","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be161ec7f3b9536e6e38479daa2455b405ae4f3f","datavalue":{"value":{"entity-type":"item","numeric-id":4916079,"id":"Q4916079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12ba4c403625a5188939e2a38000de13db5ed940","datavalue":{"value":{"amount":"+0.7669498324394226","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":"Q4028349$F829D6F7-2864-4599-8EED-04F07FBD5435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"640620895f6d3227637786c0492faf3aa9a05e6e","datavalue":{"value":{"entity-type":"item","numeric-id":3608811,"id":"Q3608811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77a62cccb59634459db20f447a1413b2f1b39647","datavalue":{"value":{"amount":"+0.7659380435943604","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":"Q4028349$42640726-6B2D-467F-96F0-45DBDDC928B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed7d1c79c5d9622e1eeadc1aaf2b3855954e4971","datavalue":{"value":{"entity-type":"item","numeric-id":1824382,"id":"Q1824382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23df5c59fb6f3af8d6ff3cf544b02a811c333a7a","datavalue":{"value":{"amount":"+0.7637253403663635","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":"Q4028349$D17E171D-1443-41F6-8A44-28673FB924A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5bd0fa66fd9009baaa2529908f98e3f28360a72","datavalue":{"value":{"entity-type":"item","numeric-id":5055713,"id":"Q5055713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85a10de2825e55d0ee02b702756074046a4d50f3","datavalue":{"value":{"amount":"+0.7627167105674744","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":"Q4028349$6079F234-E8CF-48B6-BCCC-A4B83107C846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20278ea31b9cb8cdfa984e855c1685733a4ee779","datavalue":{"value":{"entity-type":"item","numeric-id":3805961,"id":"Q3805961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4497aec76d7f39011fabaa20ec6a6903b30983ff","datavalue":{"value":{"amount":"+0.7493883967399597","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":"Q4028349$DB333955-146B-44EC-BEF9-1C8EA6AC7C18","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4028349","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4028349"}}}}}