{"entities":{"Q3975175":{"pageid":6005072,"ns":120,"title":"Item:Q3975175","lastrevid":47051680,"modified":"2025-12-31T12:42:21Z","type":"item","id":"Q3975175","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 17831"}},"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":"Q3975175$26C85B4B-5551-4C0F-817C-4C79F3458C5C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86695438aa7f294f0df206737f17b19bcbb6d040","datavalue":{"value":"0743.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3975175$E7C9E0D8-CFC1-4C68-9B92-69C464B28738","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a146557611ef4f94fc6e55637e62191fe9768511","datavalue":{"value":{"entity-type":"item","numeric-id":1119626,"id":"Q1119626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3975175$85E7954C-553D-4EA8-AE6D-40D9C6A6A9BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3975175$80DC7CCF-3562-48E2-A609-26DBB096FE8D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3975175$44B6DA55-AEB1-4D79-9503-2AB27CF77EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3975175$453EE04B-B7E1-4BDC-903B-DFC142D93040","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77d6fe549adb82a8763eab123b830011fe3501d4","datavalue":{"value":"17831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3975175$C7561158-2C97-42C7-BB19-B01282537C05","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f11b8ca84e4bb6b6d269686c64208c414da75007","datavalue":{"value":"omega-rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3975175$23B5F6EC-2F94-4BCA-802B-4DFF08CB873A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc028f491ca3cd6c7521dd6f6f17a35cdad54a6d","datavalue":{"value":"proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3975175$2D6A4B66-701D-495D-93B1-AFB4117AF2B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8469432c7e2e4cd59d964f83e69cb11b07596610","datavalue":{"value":"imperative programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3975175$E817B01E-78F5-4A5C-9F74-CDA098012AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a93a3a578090ccddf3d4194d008321e51c7bb64","datavalue":{"value":"infinitary rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3975175$9D59209B-6E49-4A40-873B-5869A9FAB4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4150cc071af573389b0f153adc216861cd5e3ba6","datavalue":{"value":"algorithmic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3975175$100F6471-6779-4883-B2A5-3A9452163206","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":"Q3975175$5D4C2BA2-21D9-40A0-916A-218DE78AE214","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e849409d2dc92d1a7de81ab11634c28f3d952d62","datavalue":{"value":{"entity-type":"item","numeric-id":1119627,"id":"Q1119627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e72ca2a2386e1b7259131588e45bc1e5e37e96c","datavalue":{"value":{"amount":"+0.8135544657707214","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":"Q3975175$7C0FC6D8-4CA5-40C4-8E0B-D25A4635750D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d57f9f30b673fef6ed159b38f8347d01785667b7","datavalue":{"value":{"entity-type":"item","numeric-id":4255511,"id":"Q4255511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8acd9449e184850ce3b67c1591d4a4809e7cd51","datavalue":{"value":{"amount":"+0.7770693898200989","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":"Q3975175$4289A8A0-A935-48CF-B1BB-DD15C90BE8F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25583a8eb591ad097e0ca7876fc41f1f8bcb53c9","datavalue":{"value":{"entity-type":"item","numeric-id":1207341,"id":"Q1207341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06f6d297d1a9cdd734e86c97a5e6cc39c1b7dc75","datavalue":{"value":{"amount":"+0.762179434299469","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":"Q3975175$ACC398AF-9233-45D5-9069-F8DCD7BDD267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e4679d477a2a8ac377db5206dbe29e60ae70105","datavalue":{"value":{"entity-type":"item","numeric-id":3680265,"id":"Q3680265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad6ff49b03af617070fdb530edcda4c422cd8ff6","datavalue":{"value":{"amount":"+0.747402012348175","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":"Q3975175$F7974517-5AE9-4075-B9CE-1CDEA4C2CC21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0aa660686f4f02c738c196f7b01b665503be5cd8","datavalue":{"value":{"entity-type":"item","numeric-id":2757280,"id":"Q2757280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"290a25566fbd5274cbd7df6461ab00c3e3c48304","datavalue":{"value":{"amount":"+0.7355241179466248","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":"Q3975175$D18A3C9E-BD0A-44A6-A251-C187DCB76DD6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3975175","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3975175"}}}}}