{"entities":{"Q4035228":{"pageid":6064948,"ns":120,"title":"Item:Q4035228","lastrevid":55235593,"modified":"2026-02-05T04:02:50Z","type":"item","id":"Q4035228","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 176127"}},"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":"Q4035228$E967F55C-E304-4A91-B1D1-70901B8BE836","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5fa665feb4b2b6b3974c1412332f10a303cdd576","datavalue":{"value":"0777.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035228$064CEC03-68C4-42EC-9C5D-F189D992084F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d6b4406c37cb659c11d73b150d343f69e848fac","datavalue":{"value":{"entity-type":"item","numeric-id":673183,"id":"Q673183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4035228$D9B7D0D1-BB47-4AAD-8DB1-8CEC8997E581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"278d84a31aa4d41905d8d358c66cb65e85593d8f","datavalue":{"value":{"entity-type":"item","numeric-id":673182,"id":"Q673182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4035228$D756B532-121D-4C40-BA17-B1CC012151E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abd8d5e490ea4daf6d00f9dd2f897565e059b6cc","datavalue":{"value":{"time":"+1993-05-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":"Q4035228$619C8096-C292-444D-969A-0E3288F918D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035228$3AE9C692-F331-43D5-B79E-903461CFBD1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42bd3a698fd47d2fa54a574cc11c3df6538394a4","datavalue":{"value":"176127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035228$7DB13D9C-6AB6-444F-A46E-008D381564C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"576f96a107217dcac283962a20e072850ebd51e8","datavalue":{"value":"algebraic specification of partial higher-order functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035228$F563195D-D632-4E32-8307-B44953B852C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4983f8ead299f6b282876e6ee67962786f756e0","datavalue":{"value":"equationally complete inference system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035228$69FAE457-92CE-4C47-B4FE-315FEE510461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1d316846177b52cbfc50495fb5e5584c467e568","datavalue":{"value":"deduction system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035228$3B984C51-463F-4E0B-B5B8-DC9CF705AB52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9a8911ffac52a59302bdd527348f9f620145181","datavalue":{"value":"extensional models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035228$4184DACC-DDAD-4B91-B156-009185BB2C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4db55616911328f5bac685985d0703ea88cff4b2","datavalue":{"value":"partial conditional specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035228$F200771F-63A7-489D-B5CA-7590D9E150AF","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":"Q4035228$9932B4E6-B033-4D35-B807-B1BC0D9B33A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0af3b7e1033d48f9d80c7ae56566fe1b0a4a9833","datavalue":{"value":{"entity-type":"item","numeric-id":4018062,"id":"Q4018062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"864d861bf9fa845a02c2c88df823aa29ec33be48","datavalue":{"value":{"amount":"+0.995543658733368","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":"Q4035228$83F5C593-A4B5-4ABC-8F12-22A6287486BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d32fb81c482a8bc254c59cd12b40b803413b4b3","datavalue":{"value":{"entity-type":"item","numeric-id":4702593,"id":"Q4702593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eb4cf1ea7896567aa9e1cf1cd3b1c18bbcf01e5","datavalue":{"value":{"amount":"+0.9952869415283204","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":"Q4035228$9928E082-F3E2-4B64-B82A-05710410CDE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13842fc6e7c287accccf55d65bd1020fcb1d98e3","datavalue":{"value":{"entity-type":"item","numeric-id":673184,"id":"Q673184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84b43dfa203d212fc620138e66b3f8b3a1c51d02","datavalue":{"value":{"amount":"+0.8644726276397705","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":"Q4035228$34AC3A08-69D7-4A01-B7E2-4F0A6CFDB30D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"105ed4cc62d9941d898f9a1461df34b8c0f49b35","datavalue":{"value":{"entity-type":"item","numeric-id":1102736,"id":"Q1102736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10a577098a74f1cab363f42385aba2fc2bce88d9","datavalue":{"value":{"amount":"+0.8181490302085876","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":"Q4035228$8704FCC7-DABA-43F8-B0A8-F9C5CF697F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a7eba7b04dd5f01cda67c9197e6febeb9fa4a63","datavalue":{"value":{"entity-type":"item","numeric-id":3028333,"id":"Q3028333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d09a5b20b8013f549839b07cb2b3c2677da71a81","datavalue":{"value":{"amount":"+0.8156124353408813","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":"Q4035228$13F73E26-5930-445A-9C9C-9B3480C6CC91","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4035228","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4035228"}}}}}