{"entities":{"Q3737481":{"pageid":5767387,"ns":120,"title":"Item:Q3737481","lastrevid":50881499,"modified":"2026-01-15T13:51:40Z","type":"item","id":"Q3737481","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3970817"}},"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":"Q3737481$BC283504-5055-4A2E-BF12-3F030B4490F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d02a95925a72feb172b7e2b02227e9304812d73e","datavalue":{"value":"0602.08004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3737481$9A6C2C06-46F3-454F-8A25-3E120123CA29","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d158e95d9652c2d0191af4ccea1d07838d2e8021","datavalue":{"value":{"entity-type":"item","numeric-id":241052,"id":"Q241052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3737481$DC41B149-58CC-4587-ADA2-8D27FD57D5FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3737481$74799ADB-0AA5-4B7F-9D1A-F7BA2666EBEC","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":"Q3737481$6509D139-4B79-4293-B638-2FC62F7E198D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3737481$7D7489D2-73F7-4462-82FB-5213B9795421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3737481$F5C9170B-EB1D-454D-B9BC-5CBCCEC2225C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3737481$F808691F-605C-4717-8731-B8E08385B24D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ad98588630210fbee8f42018a7a80f2bbbde493","datavalue":{"value":"3970817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3737481$1E283605-A6B3-4242-9DCB-377F828DE9FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3737481$A690E427-F713-449D-80E8-45DA53221A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3737481$7D3422DA-4266-434C-B4E5-2A71FEF2F529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f641adc4c4b0e28ef202ff34a2027ce11123331c","datavalue":{"value":"many-sorted equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3737481$F97DA5E1-7A82-424A-9E8E-552DA27A16E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4df0631abbb503c834c6a30ef09a1bc50037dc04","datavalue":{"value":"many-sorted universal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3737481$F3DFA92F-9EF0-4F46-AFB1-626C47121ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92e51fa732238809c6a3465b0ff5c440258aec32","datavalue":{"value":"many-sorted algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3737481$F45D508E-7DBC-4AAC-A2E6-96FF740B7636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d32b0bcc7bb39c92b92984e1db79a0a14ddfb744","datavalue":{"value":"clones","type":"string"},"datatype":"string"},"type":"statement","id":"Q3737481$282050D4-5221-4964-95F6-9A5F6725C6CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8056181fb7418e289cd3d8d01216d7ed0e610f64","datavalue":{"value":"many-sorted equational deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3737481$647DF846-CCD4-4657-892C-716AC8B5D1BD","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":"Q3737481$B2FCF6EC-9072-4D1F-92D5-242A8D0A4BFE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e505749ad60d4adff3755ab6e8607c4dd5cc609","datavalue":{"value":{"entity-type":"item","numeric-id":1185017,"id":"Q1185017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21c24621ebe4bbb63f9918eedb7ad1332ac334fc","datavalue":{"value":{"amount":"+0.8382294178009033","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":"Q3737481$61D68D3F-6410-4A94-A2E0-81F6FC590DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c5d0c72f0acd7b6f0cf1020caf90e6c6aff5862","datavalue":{"value":{"entity-type":"item","numeric-id":4693763,"id":"Q4693763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c35e49147a6c3334a9566cde118a72b93a60576","datavalue":{"value":{"amount":"+0.8370698690414429","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":"Q3737481$958BEF7E-D1B0-4287-BCED-C72ADAA0B677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44f2f06ba24d0cadcc9e5d3ef69fe47c1320abcc","datavalue":{"value":{"entity-type":"item","numeric-id":3360165,"id":"Q3360165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"576de52d5862c964db360a2c4e905279b4e84d85","datavalue":{"value":{"amount":"+0.8220587372779846","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":"Q3737481$500472C4-8D35-454A-9C7C-A18360AB3224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"107405f794bb2903c0aaf558e4444a5d30a54ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4904107,"id":"Q4904107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d4e5fa362a0da0377bada8402909a1d9f1f6bbf","datavalue":{"value":{"amount":"+0.8116227388381958","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":"Q3737481$D7B7DE9E-6E4E-4DD8-BAC2-D29AA4A5E2D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64314eb11f70a97a3d35a6368144f21103f7f010","datavalue":{"value":{"entity-type":"item","numeric-id":3377761,"id":"Q3377761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a39806e44d10eb639d78cdff6e251e647409123","datavalue":{"value":{"amount":"+0.806100606918335","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":"Q3737481$06B0473D-90B9-481B-B98A-50F638CE8B48","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3737481","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3737481"}}}}}