{"entities":{"Q3034803":{"pageid":3045519,"ns":120,"title":"Item:Q3034803","lastrevid":49348822,"modified":"2026-01-07T00:24:09Z","type":"item","id":"Q3034803","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4133471"}},"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":"Q3034803$FD163AA7-AB87-4A93-9180-78219C2CC80C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b90c912ae2de8358f1d3cca30cd4532653b8672","datavalue":{"value":"0692.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3034803$30924161-66A0-4099-BF21-D21DF6ADC902","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":"Q3034803$8200AE35-529F-4DC7-B553-AACFB3346E03","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3034803$DA67283C-2199-486B-81AA-D87F0575B741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3034803$A1ADC6C1-CF94-418C-B902-3AACDF288F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3034803$36084AD2-AC68-4A68-B44F-722709C81665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3034803$2CA414D0-E324-4AD4-83DD-D0EB1CE67999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3034803$63A78EA2-405E-4420-B98F-9D9FA43F74B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"116519069a6654fb9b53b670ef5456bcd4d12173","datavalue":{"value":"4133471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3034803$FE6AAFBE-D96A-423E-A2AC-DDB5C779FF75","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8199d3c167bb7194c1f4325dd8abc9ea993e9d4d","datavalue":{"value":"program development","type":"string"},"datatype":"string"},"type":"statement","id":"Q3034803$47A419DC-873B-4234-B50A-CB2C88522396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f433faf1279cdb38aabf045f18de6325cc7395db","datavalue":{"value":"proof transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3034803$A543ADE9-A137-41AF-8795-8FB3C8A47E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3034803$C3B29383-5E65-4D7C-94E3-411BDC07A501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3034803$2D658650-100A-4F9D-8C9C-9E3F5205D4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3034803$EF31DB17-1094-43B3-B1FE-B65D8C396B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e11efa296de32113212891cda7e2e43b8eab9a8c","datavalue":{"value":"NuPrl","type":"string"},"datatype":"string"},"type":"statement","id":"Q3034803$1FA76F09-BC8F-483E-BFDD-BF826E4BD132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6c658f92cfca10399e0b9df9aa408c3bc22cae6","datavalue":{"value":"constructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3034803$0611F7E5-CC3A-49AE-AD6E-8BFFEFA4EC69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50041bed7015b719532311e6ede6042023b9e283","datavalue":{"value":"Warshall's algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3034803$CADD7B01-24BD-4895-A305-643C1D7D8857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3034803$E5C1F38D-7A40-4805-8BE8-36ACC7D2A200","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a33736bad804e6a530176061e0a43d6da42cd52","datavalue":{"value":{"entity-type":"item","numeric-id":476188,"id":"Q476188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3034803$0E2F80FF-76BD-40B3-BC0D-0CCA861E89B9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3034803$4A0DC859-E059-4FC2-9CC8-07F5B24DC1DB","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":"Q3034803$C994B32A-9F9E-4FE0-AB6C-DD259C11617B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5e6b5302683360907da256906c47a77a0a40ba3","datavalue":{"value":{"entity-type":"item","numeric-id":4884666,"id":"Q4884666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a4061c17a80b8f7f5526519e7281fcabb4f2586","datavalue":{"value":{"amount":"+0.7956259250640869","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":"Q3034803$FE2A0F34-F0E3-4687-83A2-5E2C7E434E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58e7df1b0c78b6165a85ac2ed3fa576a581f45e5","datavalue":{"value":{"entity-type":"item","numeric-id":4247305,"id":"Q4247305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a4061c17a80b8f7f5526519e7281fcabb4f2586","datavalue":{"value":{"amount":"+0.7956259250640869","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":"Q3034803$E1751AB9-5711-4FD5-BC8A-637B19B68E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c823eb76233e4855e66828e769991a47beaee71b","datavalue":{"value":{"entity-type":"item","numeric-id":1190474,"id":"Q1190474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c752915bf85b31b2dc1a8830824844b24142b34e","datavalue":{"value":{"amount":"+0.7645419836044312","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":"Q3034803$50D87D1F-76F1-44D0-B691-1E4BA8FF31DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afbd5bc9f9db4a8c8f5d78463047c2c327809d9c","datavalue":{"value":{"entity-type":"item","numeric-id":736840,"id":"Q736840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7eb0f03d5377ab11418b33c7961201c600458d4","datavalue":{"value":{"amount":"+0.7530234456062317","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":"Q3034803$4866B0A2-7E87-4AB7-984B-B85817A8A615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f500e432f580e59086a5c930d70b28dd818f4a1a","datavalue":{"value":{"entity-type":"item","numeric-id":1190851,"id":"Q1190851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef13c449b6e03e2ca01c271dfa31818b57672986","datavalue":{"value":{"amount":"+0.7476311326026917","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":"Q3034803$20EA4CC3-9ED2-490D-938E-264375A2FA29","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3034803","badges":[]}}}}}