{"entities":{"Q4531074":{"pageid":6560666,"ns":120,"title":"Item:Q4531074","lastrevid":47918872,"modified":"2026-01-03T02:14:36Z","type":"item","id":"Q4531074","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1746885"}},"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":"Q4531074$A60B61EE-3046-46A3-A955-5EB6FB40C277","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c152be16cd82f990308c00a15101670defbcad72","datavalue":{"value":"0989.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4531074$6692D34B-77F1-46F3-85C4-6D18B4A0C71E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd0681c3a06b0a8233603996004f959708deedd6","datavalue":{"value":{"time":"+2002-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4531074$32D82FD3-608E-485D-9B1C-9E7F62065F60","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4531074$61B76A11-2F91-4E51-A21A-22F6F4C2AA26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4531074$97938452-D7F3-4D08-ACE1-C7B34C9F706F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7558fae29d5f09c68caabec215b63a538eaea25f","datavalue":{"value":"1746885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4531074$9F93FB04-C095-4AC3-9EFB-B7B0940ABC49","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4531074$C2314C1C-2326-437A-A3F0-41BFE31ADA9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d33d5ddc0d3c35c0c9201e95371e834b80702e38","datavalue":{"value":"formal inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q4531074$0378CEA4-B359-453A-8A6A-EFF1E8656BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4531074$36A9DE6D-C0C7-409F-9735-913A03BD45B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4531074$FEE3C04A-5210-4CEA-A6DA-21909AC8F0AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d214eee730fcb5f40d3d5179dbfaafda3970e350","datavalue":{"value":"algorithm theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4531074$ED1DD3C9-517E-4986-8289-2DBE8638B1CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4531074$EB405F8F-D445-41C4-B478-0DF703A1B1C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4531074$7A085F71-D319-4FAC-A9B9-F5A470D6DF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"046bea8f96d5396bc79416c250e33bbb3e656a17","datavalue":{"value":"self-referential formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q4531074$8EEE4A24-490A-47A4-A6AA-7DEBBC37B677","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c338f93c2a1a4ab7dfbb04101583cd552335e1b6","datavalue":{"value":{"entity-type":"item","numeric-id":798646,"id":"Q798646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4531074$F1B34DF1-8A93-4D41-9757-D1DA578DF0C1","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":"Q4531074$35C23C92-116F-4F52-A176-4D8E0AE9D068","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e5dacb8e5fa193b7da32e4ef5aaa0f4cfcd5d2a","datavalue":{"value":{"entity-type":"item","numeric-id":5689038,"id":"Q5689038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56d560ae8591955afdf6ac4a6af5db45b66f5647","datavalue":{"value":{"amount":"+0.8913010358810425","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":"Q4531074$B003F528-3AC3-49BF-9433-415AED6F21DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a82901fd07db2b53f5a5065e9b8ad0027f840759","datavalue":{"value":{"entity-type":"item","numeric-id":5920562,"id":"Q5920562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11e20dcd3fe9cf210759fe7c6ab571166c244727","datavalue":{"value":{"amount":"+0.8842911720275879","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":"Q4531074$579B9368-118B-49C1-AD67-689578A3FB34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c4d0e97a36689a111b96b7f1fff85e4e09faa72","datavalue":{"value":{"entity-type":"item","numeric-id":2703808,"id":"Q2703808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a410b3b34d2ee4d88e77bf66da26c6b5675b60c","datavalue":{"value":{"amount":"+0.8568455576896667","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":"Q4531074$0496DE83-BE8B-40BF-86A5-665D0296BDC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1abe0ec999140dbcc2d8ea3834a666abb8cd6238","datavalue":{"value":{"entity-type":"item","numeric-id":3768858,"id":"Q3768858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"581c32edd96ba1051fa4dc2582c85c90b8266a1c","datavalue":{"value":{"amount":"+0.8445853590965271","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":"Q4531074$8804AEB9-78C2-467D-80DF-4E9336588F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1fa7a6dfc26f761bd7616cfbeb486b4083cd4d4","datavalue":{"value":{"entity-type":"item","numeric-id":4306655,"id":"Q4306655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5e5a9c318be38a5509671b2a302144d32ead333","datavalue":{"value":{"amount":"+0.8414634466171265","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":"Q4531074$4C2EC1BC-5EEC-48AD-8638-33D5B15692CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4531074","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4531074"}}}}}