{"entities":{"Q3685173":{"pageid":5715079,"ns":120,"title":"Item:Q3685173","lastrevid":50103454,"modified":"2026-01-12T23:04:52Z","type":"item","id":"Q3685173","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3907752"}},"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":"Q3685173$26ACE757-19BD-437B-9907-CA24D9FCAAA2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"431b6e492c20cd7539fe14969e3d95090166d312","datavalue":{"value":"0568.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3685173$E17A9976-2170-4600-90C4-BD38D06E7B2A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d75275853fb84ac426baf809ec86decf612055f","datavalue":{"value":{"entity-type":"item","numeric-id":651314,"id":"Q651314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3685173$E385357C-3DD3-4329-9640-72FB1A4889E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3685173$C34EE90B-F0F3-44A3-BD01-0CA85F335A35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3685173$B8B2DC7A-E15C-4497-ABE1-0281D9681D60","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85dff15c9269605dc027c5e717e958f6e034371c","datavalue":{"value":"3907752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3685173$AA277F3C-CE43-4EF2-B8E0-699C21E88194","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3685173$F183DCF3-7165-4F15-B443-20710CCC1BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9fba5d95d94d6854b2b213406ec0c6d4bcfa6b9","datavalue":{"value":"logical theory of constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3685173$43620C3F-3560-4518-B613-F7029EDA1237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5988cdfcbf1ce6e4802e928cc064e7f5a87bcfa5","datavalue":{"value":"functional programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3685173$A6518D2F-CB91-4C4C-8C16-3A9046C8A198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b7fd26f3b9db18e91571135b6e6a63a3f7fa303","datavalue":{"value":"intuitionistic predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3685173$E845DED0-7429-47EC-84C7-974991B0971F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc4bafe6ad5e2f3cf1072f045d8b2c71e6dde0cd","datavalue":{"value":"programming logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3685173$33D57EC4-CFA5-4E74-B297-9258FEB65270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecbb7fa2f8252f4fcfddb1282a4a1bb4e0620666","datavalue":{"value":"Martin- L\u00f6f's type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3685173$C7336A3B-AF44-486D-BC62-76A76466675C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3231591bf9208bdad2a0d9596c79d22f9a3eb52","datavalue":{"value":"recursive subtractive division program","type":"string"},"datatype":"string"},"type":"statement","id":"Q3685173$25C99A87-B3D2-4A4F-B157-BE3A9D447F18","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":"Q3685173$5D912F3B-7E98-4B8E-9972-9B2B18FE02D7","rank":"normal"}],"P1643":[{"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":"5c4650f5250d1fb806b995c118efc84eb2e7a0a1","datavalue":{"value":{"amount":"+0.7663055062294006","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":"Q3685173$5242D844-A5CE-4F9B-A9C1-4225668F039F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"994abafcebf920ff08b53f01fe6fca3bc5aaf07b","datavalue":{"value":{"entity-type":"item","numeric-id":4038676,"id":"Q4038676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f7fee636e77f74e4c35aecec3c199e7b6583d96","datavalue":{"value":{"amount":"+0.7568100094795227","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":"Q3685173$F7A7859F-248B-421C-A316-6234751E1A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b553ea3bfd32ff73c8ac582cccb04ce83543aff","datavalue":{"value":{"entity-type":"item","numeric-id":2639051,"id":"Q2639051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f7fee636e77f74e4c35aecec3c199e7b6583d96","datavalue":{"value":{"amount":"+0.7568100094795227","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":"Q3685173$362A3AD0-F9C0-4472-B856-D98A04B0D766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"714e15e5a2ba4fff06e9121fed38d3236869a4fd","datavalue":{"value":{"entity-type":"item","numeric-id":1267035,"id":"Q1267035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"734b38a4cdfa9159e130dd71f968d370a052ee5a","datavalue":{"value":{"amount":"+0.7536721229553223","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":"Q3685173$336864B9-28D5-4515-BA02-E522B2CEBC0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a84e644170331a6a9485b207c047e686cd4d5525","datavalue":{"value":{"entity-type":"item","numeric-id":3826528,"id":"Q3826528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e43a5f6a0de994ffc88c82341523dc1764709f9b","datavalue":{"value":{"amount":"+0.7534674406051636","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":"Q3685173$D6FEE0E0-DA5F-4C1A-8102-0F1AD221DD9C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3685173","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3685173"}}}}}