{"entities":{"Q4501677":{"pageid":6531270,"ns":120,"title":"Item:Q4501677","lastrevid":47015754,"modified":"2025-12-26T01:30:09Z","type":"item","id":"Q4501677","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1500655"}},"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":"Q4501677$CA6C8F4A-7F8A-4AA3-87B9-FFC800A5BC60","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb0ba36b2d8c2aa45b1862d9f9f7225f59ad5955","datavalue":{"value":"0952.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501677$C69FB490-456E-4228-ACA1-99362165E938","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec91c84374e1970ffeb850b5b07163b4a998968b","datavalue":{"value":{"entity-type":"item","numeric-id":167059,"id":"Q167059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4501677$BAE3B9F6-08BA-4D2D-A6DC-557A107C026F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb4465c1e4c8de201e147387c933ac41a7d412d9","datavalue":{"value":{"entity-type":"item","numeric-id":385018,"id":"Q385018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4501677$C7B190A8-6387-49D3-B0FE-7C8E20B2C75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"730065f6e9d808e78e9979c0b5adf9d3d0a26e2f","datavalue":{"value":{"entity-type":"item","numeric-id":685345,"id":"Q685345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4501677$57F3A6E4-0558-4BB8-AF4D-F21D7EF2AB48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab766bab7d2d121997187bafff958b477c6b8a01","datavalue":{"value":{"entity-type":"item","numeric-id":234696,"id":"Q234696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4501677$217E0E82-A6C1-4B77-86D3-687EC800174E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"751594203bc637c9523539b1699de34093fb9590","datavalue":{"value":{"time":"+2001-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4501677$8FCFA47C-064B-4BC1-8E45-73C465FF748F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501677$7395FE2E-B8D6-4ECF-885F-6618E5A8B638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501677$1BD3148E-97EA-43DD-AA90-A5AAE6C933D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501677$13F7A4B6-D794-4045-BEA3-1F94EB84324B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501677$DDA77B1B-1ABB-45AD-988D-E061E7994402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501677$65663849-9237-4F76-8BCC-CDE4F6AB1603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501677$A512CA97-7272-47A6-8B7C-E9EEA14927A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"372034280946614c944f7db5d190784961a698a2","datavalue":{"value":"1500655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501677$7FF6D6E6-BCF8-4ED2-8791-AB6BDDEC7E50","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80cf088a1a5db5ce8a68150e42d1f1e7a2737210","datavalue":{"value":"Urquhart's \\({\\mathbf C}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501677$4F762B0D-BB0B-4D33-90A3-004599D56439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501677$2A3EFC32-4718-49CA-BE08-EB94E5D5F6F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"350c1f088763f3d4e5a06a2d03ce6d0633c3fdfb","datavalue":{"value":"sub-classical first-order logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501677$2ABECE7F-DD95-41E4-8206-45777074E9A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d30bccc3c773f6387fa27b8780b4cca02dfeb07e","datavalue":{"value":"fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501677$75E64471-7B2A-4633-B6E7-F924C2EB3D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e3b78f3149db7c0dcc97ef2bd019728dfc4b35a","datavalue":{"value":"hypersequent","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501677$A1FED8BC-5675-498E-B62D-F8459DCFB78D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501677$0F005CB5-7083-47FE-940A-C271CCA6E167","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":"Q4501677$CA2A2D7D-748C-4E91-9823-40453CF989D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeb158dd7973414d14e61278870445c0f264b0c2","datavalue":{"value":{"entity-type":"item","numeric-id":4276022,"id":"Q4276022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"506de4eea68ed5c5d94f3e6758c740b58d95949e","datavalue":{"value":{"amount":"+0.7788916230201721","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":"Q4501677$64B200EE-6C28-4C85-87BC-6B7142710A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1baf0e8b09720f765e34340f8ed24c658f1f3acf","datavalue":{"value":{"entity-type":"item","numeric-id":3370616,"id":"Q3370616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6aced71cbe660067540ac93f5a7e08415647799","datavalue":{"value":{"amount":"+0.7653924822807312","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":"Q4501677$AC37CF21-CFA8-4C8A-B445-F0EEEFF1F429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c659bec14680488a0600fc4c8e6bd55236476eb9","datavalue":{"value":{"entity-type":"item","numeric-id":5015208,"id":"Q5015208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0947e8c4c618bd04c833dd4baa26c7a7809c2c38","datavalue":{"value":{"amount":"+0.7634450793266296","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":"Q4501677$BD353E36-32F0-4B89-8843-E680D9B50360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a39d2e6afe9ba7f93671e1bd20c139abe7d2127a","datavalue":{"value":{"entity-type":"item","numeric-id":3505074,"id":"Q3505074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca24423818522041aaa503639851b3d7afd13600","datavalue":{"value":{"amount":"+0.7443209290504456","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":"Q4501677$A2F86FBB-854C-40FE-9241-CD809C1A0725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5576d4fc72396aedfb40222caa20affb6e370926","datavalue":{"value":{"entity-type":"item","numeric-id":4566145,"id":"Q4566145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b12e0e38609f3e9688e8e0ff5cf062153e947c2a","datavalue":{"value":{"amount":"+0.7369412183761597","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":"Q4501677$396340C4-AB0B-4D24-A108-D41B91A21B2C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4501677","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4501677"}}}}}