{"entities":{"Q4645242":{"pageid":6674823,"ns":120,"title":"Item:Q4645242","lastrevid":53315741,"modified":"2026-01-24T17:25:41Z","type":"item","id":"Q4645242","labels":{"en":{"language":"en","value":"A timing refinement of intuitionistic proofs and its application to the timing analysis of combinational circuits"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6999525"}},"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":"Q4645242$189C0BCA-E7AD-4659-9AE0-4815E7256DDC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1219be9b9f2f84759c15e80d95b684f26a9f39aa","datavalue":{"value":{"text":"A timing refinement of intuitionistic proofs and its application to the timing analysis of combinational circuits","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4645242$0ED8F09B-ABE2-45A8-86E2-4DBBFFA296CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae57f73185c8eeda388fc7a66e5037aedba696fb","datavalue":{"value":"1412.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645242$C3B27A86-10D3-405F-94A3-549FD02DAAC0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"890ecff0441b9e535115ad3fb95c741639decf13","datavalue":{"value":"10.1007/3-540-61208-4_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645242$4542409D-60F6-4685-BFC3-A70658759C97","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f04db4e76afd2cfb9a7b7465aba3c3f1bfee9640","datavalue":{"value":{"entity-type":"item","numeric-id":453536,"id":"Q453536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645242$81C0C688-BD31-4F4B-9297-E256E9AA9E27","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"260f361c96cfc64e7204fcdf9876515bb18cb191","datavalue":{"value":{"entity-type":"item","numeric-id":4645221,"id":"Q4645221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645242$4DD928A4-6C0B-4A67-9D6C-18D773ABD273","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"412b474a973c0dfa7488c61fc45fdeec318e212e","datavalue":{"value":{"time":"+2019-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4645242$90A58A59-E638-4C0B-A4FC-87D058D9F6BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645242$CB6BC77F-4A18-4CA7-B0A1-8D1FF84FD1D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645242$DB401170-D50B-4EA6-A5BF-95CEA6AA847E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645242$A72CE071-C494-4D37-85A5-827BBDCD572A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645242$3D1E02D5-20FB-4D9E-8AAE-3E396EB03206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645242$1F0C9DF3-549F-4BD0-86C0-129CAE88DB13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4774e8bb5d96067ce7f17d91945e90437a660781","datavalue":{"value":"6999525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645242$F17E1C20-088D-4610-B368-CAE3178C6CFB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"55d1796d289926821ff098bc5ea53615142e836d","datavalue":{"value":{"entity-type":"item","numeric-id":21664,"id":"Q21664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645242$6EA3F97B-448C-4C00-AC49-BCECA83CB7E6","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":"Q4645242$28084F96-15DA-4F35-AA5E-3042E9D77969","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1daf95254aed6908eb775e636fceb5ad27bd1d64","datavalue":{"value":"https://doi.org/10.1007/3-540-61208-4_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q4645242$A3383E09-59F1-420D-A0DC-8EA27CCDD130","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6edd804955da39bdef554a2c8954fab85a5a9cf0","datavalue":{"value":"W1576623301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645242$7F72155F-EE5E-48A6-AC0B-7085550239BC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7efca8e4596d9afd2a5ad9c3a14e955093b5ab3","datavalue":{"value":{"entity-type":"item","numeric-id":4039813,"id":"Q4039813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645242$6511EF24-90DB-44BD-B9DE-E49ECE3E9A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4c1ea89bc5854f421d3a6b161146d5aecefa12","datavalue":{"value":{"entity-type":"item","numeric-id":4032862,"id":"Q4032862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645242$05CDE97E-04B5-4E2A-9741-EE148B3250FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"259f10b1729b1bdd1a2c328f24b95696b28ee3d4","datavalue":{"value":{"entity-type":"item","numeric-id":4474851,"id":"Q4474851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645242$17E8C29D-2C6F-41DD-8506-E3623424DBB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645242$3D0F73A9-3E94-4211-A993-12E707646941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645242$DF12CCD2-51F3-44DE-9225-29330ECCA8FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14821703ad3559ce115eabb18820913df4a58412","datavalue":{"value":{"entity-type":"item","numeric-id":3202991,"id":"Q3202991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645242$D68FFD65-6858-489C-ABDE-AEEFEF9A7732","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34cb5f98f45693d3383445ff0402a473eecc565c","datavalue":{"value":{"entity-type":"item","numeric-id":4521287,"id":"Q4521287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd2409b3cb9b7ed948a08d47b383520d2f957a82","datavalue":{"value":{"amount":"+0.8372222781181335","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":"Q4645242$BA8B8759-69E7-4F0E-81B5-54B4686C7FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1269c00f0711ecb81cbf4aad4a737f26c703bf9","datavalue":{"value":{"entity-type":"item","numeric-id":876385,"id":"Q876385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d534ead0db3d3c1a0a401fa5f379c2819682c91","datavalue":{"value":{"amount":"+0.837222158908844","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":"Q4645242$084326C6-816A-4E8D-B98C-9B71F15BF006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d06c11e2a4229333f514d9b9ec626174b4abae54","datavalue":{"value":{"entity-type":"item","numeric-id":4474851,"id":"Q4474851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa772c0d45b883c6378048e182804b6574fbef37","datavalue":{"value":{"amount":"+0.7965674996376038","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":"Q4645242$6697B684-BD15-42EA-9B5E-3065EA317148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff1ee59868ddff1cdf38ba164a0a842c23773e8e","datavalue":{"value":{"entity-type":"item","numeric-id":4808818,"id":"Q4808818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c344ff015197220111532bd3a97695fe9524cc5","datavalue":{"value":{"amount":"+0.7783702611923218","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":"Q4645242$2CBF0AF7-41AF-4A9A-B34C-C3B1972276F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ad372124d89b553527969a9743740003f84927e","datavalue":{"value":{"entity-type":"item","numeric-id":5717495,"id":"Q5717495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80ed7cfa8e1e40306f58d02b0dc790807686ae9c","datavalue":{"value":{"amount":"+0.7225006818771362","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":"Q4645242$218B3C91-CD4D-48DE-A602-C8A290F76A18","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4645242","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4645242"}}}}}