{"entities":{"Q4376067":{"pageid":6405666,"ns":120,"title":"Item:Q4376067","lastrevid":46997832,"modified":"2025-12-26T00:41:29Z","type":"item","id":"Q4376067","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1114348"}},"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":"Q4376067$8667BFF8-57F7-47D3-B0B5-65AF02DCD29C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1becad0248c5a7b93b51e3c0dfe19b9b3d6d8699","datavalue":{"value":"0887.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376067$2253E5A3-CB14-4D61-BBEE-BA881CAC792C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2af11347b9c63e95a3d5e929e56f5a0782dac00b","datavalue":{"value":{"entity-type":"item","numeric-id":4376066,"id":"Q4376066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4376067$6125DF58-C08B-42F4-B10D-4BC27851012E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"936f807a3564f91d0a5b6d7f253b45cd94afd6d7","datavalue":{"value":{"time":"+1998-05-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":"Q4376067$B5D24E15-B998-42AE-BB01-B0CE83293A1C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376067$A3CCCA7C-2A9C-4A26-BA35-F517AEFF2743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376067$BE04B205-9B1C-4939-AF6C-1E4F0A79A414","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f4be70b7a98d0d09553913f80a1871abb1e4370","datavalue":{"value":"1114348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4376067$D3BF7F0B-C8EC-4EE6-A98C-87EA1BDEB76A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a33bfb266517f37c2893982b2b0f9fde5f7330a","datavalue":{"value":"models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376067$6D62A339-0640-4ADF-ABCE-BF996EE031D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fbbc403a638e1221a7c0282b106e29f17a07425","datavalue":{"value":"operational logic of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376067$0609E4F9-CB47-4494-99F8-7B25E56041B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376067$33E23914-3400-4DDB-B3A5-9434AB58CFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4376067$2037CA0C-6FC1-4C9D-B4ED-1E283FA3D00D","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":"Q4376067$D92DBE50-C939-4A29-BA39-A4B876B5FEA3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39441786c1ae01033265d3200174c0370193a6ee","datavalue":{"value":{"entity-type":"item","numeric-id":4257091,"id":"Q4257091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21a3a88114184ba81add08fc94108dcbed0aaa75","datavalue":{"value":{"amount":"+0.8358762264251709","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":"Q4376067$0F46E4E1-543B-4BA3-873E-A45813885D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bade1c4d4b8c83dc9273b03a9c5e330219392210","datavalue":{"value":{"entity-type":"item","numeric-id":5957921,"id":"Q5957921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5322ae068dd0d86ed40cc694e29302bd59886936","datavalue":{"value":{"amount":"+0.8347017765045166","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":"Q4376067$1C5C83C2-7CDF-48FC-BEEC-A92F19434DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed1f66166bebf532b4f7ccf833376ce160348b19","datavalue":{"value":{"entity-type":"item","numeric-id":4329233,"id":"Q4329233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c37fd403bca8543b2606b665e9368a081d871fa","datavalue":{"value":{"amount":"+0.8276706337928772","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":"Q4376067$90E7ACC3-4CB8-4D52-8EEF-FE85C792027A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"677cb8f02b8efe6e60196d99a4ea3566af199e94","datavalue":{"value":{"entity-type":"item","numeric-id":4376078,"id":"Q4376078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75fd55ba00ebe58f71418a072cc9fd153b3a0ebe","datavalue":{"value":{"amount":"+0.8203432559967041","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":"Q4376067$F57BFFAB-A1A6-47F1-BAE1-8F6AA24E52E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4376067","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4376067"}}}}}