{"entities":{"Q4375634":{"pageid":6405233,"ns":120,"title":"Item:Q4375634","lastrevid":46999902,"modified":"2025-12-26T00:46:59Z","type":"item","id":"Q4375634","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1113860"}},"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":"Q4375634$B0B874BB-E64A-4656-A23A-425ABCA17157","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9ad674f27be5c86f53b651601e77d83b503173e","datavalue":{"value":"0886.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375634$1D5BF42F-E1EC-4B48-871D-6C1C3F297C17","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"35e0dd5ae5c0ccbb72392a98556209fe2cb92ea7","datavalue":{"value":{"entity-type":"item","numeric-id":167074,"id":"Q167074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4375634$8966BB13-52E4-450F-AB91-EF646310B11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebb9b943adf27870148110095415d75e7f6daa8a","datavalue":{"value":{"entity-type":"item","numeric-id":167075,"id":"Q167075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4375634$E3E8C395-2DC0-4D1C-AAF7-1F1391EFB57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1e0deb06a9287a1e74623f4839b0b1e5b1d5c18","datavalue":{"value":{"entity-type":"item","numeric-id":683711,"id":"Q683711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4375634$2308122A-D92E-4EED-B6EE-24415BE56D94","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b347c1d8ecdf364bbce1657b40174d833d0dfdc1","datavalue":{"value":{"time":"+1998-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4375634$A27E0BCB-7DBF-4E79-B5F5-EF732A90E832","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375634$13547942-0DE3-4CC9-A2D9-11BFCF5BB34A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375634$F76DD234-2290-4608-BF8A-B77E27D8E0A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80dec93f5304a5da954de27162269a9a8682b7be","datavalue":{"value":"1113860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375634$D9FE0944-09C7-434B-A9D1-9D880FEE1165","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e10647ee60c2ec4580bb544e925f97d69a1df3a7","datavalue":{"value":"free variable tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375634$772DDE7D-CC9E-44A0-8150-14B5390ED0E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05cf8800b774f116c1df9e5516c0bf7350900ed0","datavalue":{"value":"many-sorted preorders","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375634$FAE14C77-C162-4D00-A748-972648B85FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375634$E5319B3D-905D-4BC5-9E35-32855C5BCCA4","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":"Q4375634$4B4BFC90-6BF1-445E-AE67-B6D71A36488E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f029ae8c4185c2da9b4d8e3d178aeae177054d0a","datavalue":{"value":{"entity-type":"item","numeric-id":3147362,"id":"Q3147362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbb2c11d72f7372cbb778493285b10738f1f0294","datavalue":{"value":{"amount":"+0.8255724310874939","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":"Q4375634$ABAAB101-1AFD-426D-B2A9-46F024250C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6879c7ffbed9e034bef43615058e6a40cf4578ee","datavalue":{"value":{"entity-type":"item","numeric-id":4860657,"id":"Q4860657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ea59fb635175dc86ce847e54dd1894d42741fe7","datavalue":{"value":{"amount":"+0.8226606845855713","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":"Q4375634$09097B19-62AF-4DD6-A78C-4987BAA12B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03b571a2d3abe71033fa925b17b29bc17c01eea9","datavalue":{"value":{"entity-type":"item","numeric-id":2721204,"id":"Q2721204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7406bc9144b7f98ed6a97bb56e4efb13b43f9929","datavalue":{"value":{"amount":"+0.7950147986412048","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":"Q4375634$17BA97E2-A40F-4FE0-BF32-F88B42E1F198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c535e3b947c029766703533205075ada875e4dc","datavalue":{"value":{"entity-type":"item","numeric-id":4013973,"id":"Q4013973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6b5bebc2bf9e470706e80b4dde2c56e8eeddc21","datavalue":{"value":{"amount":"+0.77187579870224","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":"Q4375634$FB265376-7328-4AA1-B3FD-6CB2F5F7E5A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4375634","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4375634"}}}}}