{"entities":{"Q4503910":{"pageid":6533503,"ns":120,"title":"Item:Q4503910","lastrevid":47505574,"modified":"2026-01-01T22:31:45Z","type":"item","id":"Q4503910","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1507190"}},"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":"Q4503910$CBA2E9CC-7173-4A7C-9CC3-2D6505475CC9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"72ca1059bbae86f7ba22959c662a6e59ab491fe7","datavalue":{"value":"0955.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4503910$644A27A1-E44A-4649-8876-7CD60E6EF210","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb6915ece1ff0e3c04b1478b9a756ad0cf2910cc","datavalue":{"value":{"entity-type":"item","numeric-id":167067,"id":"Q167067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4503910$29DBA67B-6325-4359-AF37-A2BA23BB1010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9faadbd22dd8b1da3be6dbb593d6df9253bd99cd","datavalue":{"value":{"entity-type":"item","numeric-id":1248615,"id":"Q1248615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4503910$9E6C0ABD-636E-4447-94D8-AD97228F2C10","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d02d8cc00f12eca67af7a2b878da9d104452f1b","datavalue":{"value":{"time":"+2001-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4503910$BD2DBE4E-5CCB-4C41-A8B8-75421E6639D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4503910$23E25F9D-BCE5-4F1E-A9F3-AD76399B9883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4503910$516AB631-0BFB-49E5-B323-FF7E4E16476D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d6d1b45c606677a96fadd625efc72a171c20037","datavalue":{"value":"03E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4503910$36D13639-F6A5-4599-811C-5BE6CCB7376E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4503910$EB5E1DF7-ED79-47A3-8F98-C9CDED082CFB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"503d751e673ff542184ba9b94e3bc81b26fe5c39","datavalue":{"value":"1507190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4503910$868651E1-29D3-45B5-9BC1-8F1437E4AA6F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0eb3fbab07047c5791ba72a7b75887d8555dc9b7","datavalue":{"value":"relation algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4503910$EEA06154-4702-42DC-B393-11EB2309EAB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dbe0c70826c0330576dd2c8a3876255a1311f53","datavalue":{"value":"first-order theorem-proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4503910$3B74A6F9-F8EF-41A1-B9AA-C7D81FE97A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4503910$BFB8C9CD-0F46-4668-810F-F92FC8F91E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4503910$04A806D0-9BFF-49CC-B4E1-D7FE67D70FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d30bccc3c773f6387fa27b8780b4cca02dfeb07e","datavalue":{"value":"fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q4503910$58F0515A-A386-4E15-819B-7B56FE93C02B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd8ae916ede7dc9e0fc39206bd2af043a28f0cb4","datavalue":{"value":"Tarski-Givant map calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4503910$13782A9F-C25E-4A4E-B1E7-458AFE458EAC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aca41f313ec935c6c7a90dad170b49859b6fac14","datavalue":{"value":{"entity-type":"item","numeric-id":17120,"id":"Q17120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4503910$4B405E68-595D-48C6-B029-784918098537","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":"Q4503910$5D5678B7-1846-4049-A84C-18A69861C5EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69bdb9fdd12afe3b9da2a6be09fa3fc8bd3dc75d","datavalue":{"value":{"entity-type":"item","numeric-id":4923516,"id":"Q4923516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dffe595a665f88da6607c7ca55fb68c03eabbf6","datavalue":{"value":{"amount":"+0.8174263834953308","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":"Q4503910$799F142B-58C6-40E0-AB79-5F0CDF7CE040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f035bb89d7cd940c53fa2fb4065ecd572607e402","datavalue":{"value":{"entity-type":"item","numeric-id":4539604,"id":"Q4539604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"618e4a9fbf357ca1a68b93d4f9f337b851d47694","datavalue":{"value":{"amount":"+0.7511979341506958","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":"Q4503910$9889B925-D549-42F4-A33A-627489285D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8c2057d3862fadaf09e5487feca93bf2ce500f0","datavalue":{"value":{"entity-type":"item","numeric-id":2287897,"id":"Q2287897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b74424fe40b24d09a8f851f1682197d64f504edf","datavalue":{"value":{"amount":"+0.7489458322525024","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":"Q4503910$478EABA5-C8AD-44AE-B3D4-6FE4785D10B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"039c873276c470bee9e8337c738ab0cb44cc25ee","datavalue":{"value":{"entity-type":"item","numeric-id":3812202,"id":"Q3812202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d02b9b509e179d31069fb25decfd70010bb9376","datavalue":{"value":{"amount":"+0.7261471748352051","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":"Q4503910$AE3ED90F-C9BB-4F71-8871-4FE797F7DDCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3f607eb892ede6a0a74f65718bef071331d5de7","datavalue":{"value":{"entity-type":"item","numeric-id":5313076,"id":"Q5313076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2800745a17e6be2c14586a332d47ac36b0f54f4f","datavalue":{"value":{"amount":"+0.7236102223396301","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":"Q4503910$D5B21BF5-7BFA-4850-8690-11507B40B479","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4503910","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4503910"}}}}}