{"entities":{"Q4263164":{"pageid":6292765,"ns":120,"title":"Item:Q4263164","lastrevid":46667169,"modified":"2025-12-25T09:03:45Z","type":"item","id":"Q4263164","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1341615"}},"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":"Q4263164$06475B2E-A0C5-45F4-BBD1-764DEF109276","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd2342e982af3a96f0568f1e51b9a81bd69a0331","datavalue":{"value":"0937.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263164$14CD8FD9-F6CC-435F-BEC5-44436B045B91","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef4e411daa48c61f34c5e5041ae1e9c70ed42c","datavalue":{"value":{"entity-type":"item","numeric-id":190282,"id":"Q190282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4263164$673B7CEE-E709-4216-BC7C-3D2704A67881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0af7e025189305bad11f686c710fe3b187470eaf","datavalue":{"value":{"entity-type":"item","numeric-id":438567,"id":"Q438567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4263164$07B0E649-C6FF-4AB7-AE5B-49B2BEE08633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33f6a8e79876d53be79377b2bab6c14057cb3235","datavalue":{"value":{"entity-type":"item","numeric-id":676175,"id":"Q676175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4263164$EC7F9ECD-0513-4B0A-99B9-97C94927214F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f09b8a9395155a30216cb6edc3cd9a78201bab1b","datavalue":{"value":{"time":"+2000-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4263164$0878E2E5-FDB3-44C5-97F5-2A78959AB88E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263164$374E59F1-2CFC-4DFF-B561-1469424B54EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263164$84FBC819-27AD-4C33-AA86-6DCFA9079E89","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61909c82d9af5f42cea7b5fd22c68244b446dcd6","datavalue":{"value":"1341615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263164$FFD441C7-5918-4F8D-AE89-F95E1F72CE0A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0090ee45a5b353b991b846279ad8699b34f5757c","datavalue":{"value":"resolution-based proof procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263164$BD859B20-956E-4D34-8A00-E7FDFA71583C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77316cafbf798ae736c7dd9eb52c12d55059f0f0","datavalue":{"value":"description logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263164$18C2E9EC-ABAF-4DCF-B058-DFFF68B75347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff05f0ab931f1d6a5902750da1708877d57c9ed5","datavalue":{"value":"labeled formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263164$8EE0A41C-D307-427C-9EE6-387495BDC711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263164$C2C969DF-6BA1-4927-8FCA-873711F2F785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c0d25a2e6e57986d4f34d50f1adf4db0143e1e8","datavalue":{"value":"assertional information","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263164$733CDD18-EF0F-4003-88DA-BB396A9D9F00","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":"Q4263164$0EFC58F9-662A-448D-866C-225A49A81D31","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5887dfb116757f13164aa5ddb1aab569b834a649","datavalue":{"value":{"entity-type":"item","numeric-id":2772883,"id":"Q2772883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83f5e3fff810a59148bf5270e52d9924c15781e7","datavalue":{"value":{"amount":"+0.8348576426506042","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":"Q4263164$FCFDEDCF-8CB3-43BF-8F10-2EC72849BAA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f7b269e781d4aa3c4ace2f7c3de9f877cc3c90","datavalue":{"value":{"entity-type":"item","numeric-id":4487263,"id":"Q4487263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae7c6c9218d77727848b8cc3a041767c4aaa7a34","datavalue":{"value":{"amount":"+0.8340878486633301","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":"Q4263164$592ED6D2-6783-4456-9F23-85BBC6E73041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47b6bb9dc551ba9a220b7a51f14cd07bdd3a25b7","datavalue":{"value":{"entity-type":"item","numeric-id":3704917,"id":"Q3704917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f0f88aac6aca70f9e0fa37b0c2546cd39697e09","datavalue":{"value":{"amount":"+0.8328377604484558","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":"Q4263164$008F3364-920C-4364-8E2F-3C54AB3E91F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90d50e1c0df666fa91adb1a99dc10e55d393c6d9","datavalue":{"value":{"entity-type":"item","numeric-id":4916086,"id":"Q4916086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b58bed185cb1e05c48f58e120975d0c67841e90","datavalue":{"value":{"amount":"+0.8289436101913452","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":"Q4263164$B6E71597-CB9C-4130-B132-CB1ECFA9EEB8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4263164","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4263164"}}}}}