{"entities":{"Q3460074":{"pageid":5239474,"ns":120,"title":"Item:Q3460074","lastrevid":52431464,"modified":"2026-01-22T15:28:49Z","type":"item","id":"Q3460074","labels":{"en":{"language":"en","value":"Compositional propositional proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6528799"}},"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":"Q3460074$B3FA1596-0CF3-47A8-877A-723D3FAC3210","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1472ac422923f940a7050f60dcb3583077fb8946","datavalue":{"value":{"text":"Compositional Propositional Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460074$3B354B3A-19A8-4080-B109-80C181524451","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa354e344f150706e89282cdd7740de113fdff1a","datavalue":{"value":"1471.68310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460074$7B2A3CC3-C01B-429A-B1FD-AF8B2323933E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"782ccbb8afc327f3bafb01ef909597bca0e55c8d","datavalue":{"value":"10.1007/978-3-662-48899-7_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460074$0D735676-A6CD-4669-84DB-0D556895EB04","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4545114e473836bad71ebea0181e527108d9e5ea","datavalue":{"value":{"entity-type":"item","numeric-id":352966,"id":"Q352966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460074$4675E4AE-2396-41E1-AAD3-EDF6C2B02064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"396db362b8f5a55e9aac7b42eacb07e40796d942","datavalue":{"value":{"entity-type":"item","numeric-id":209458,"id":"Q209458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460074$125235E1-5594-4D94-B8A4-3B6CFF85F410","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460074$52B48781-26A9-4E94-A5A2-E9F95D2001D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f91432dc3d3ba35c1a5312422600047e5b632480","datavalue":{"value":{"time":"+2016-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3460074$414643A6-1521-42DF-82F5-2EE0C2B511C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460074$D495F3E4-D3E2-40C8-9DA8-802CE32F8C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460074$AE84B899-7F55-4826-8B1A-0ECF9BC685A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460074$6728AC12-EF33-4C5D-91FC-E5C1AE715EFA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e39ae31b94259dcb875374bc20e5bc9fdc51e129","datavalue":{"value":"6528799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460074$9D52E2F6-8E2E-4CB2-BCA5-7D25B99C9C20","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a3f7f8548c5af1e2ae512d0bcfba5384da7ef3bf","datavalue":{"value":{"entity-type":"item","numeric-id":25228,"id":"Q25228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460074$98E62910-2815-4CDF-89AD-5176D8F46459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"60c977c73f66c80db6a0782a3e55d401ee00ddc1","datavalue":{"value":{"entity-type":"item","numeric-id":19150,"id":"Q19150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460074$C527A3D7-422E-48F6-AF78-B4FD63979EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460074$94BFAD41-3AE0-40BB-BF00-CBB0031CE662","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":"Q3460074$3615C440-D450-487A-8578-800CFDD286C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd9ff612f2367054c8e900d81016fc604dd5a45e","datavalue":{"value":"https://doi.org/10.1007/978-3-662-48899-7_31","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460074$07B22DFC-4118-4152-AEA7-1D376C0C8DA0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4ed58e3fb75575a0a548ccf50856199266889e03","datavalue":{"value":"W2294403058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460074$4FACB043-04A9-4390-BFC7-A83BD187B7AB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8787fc36fd4f9fd376425e5bc677184a2d52b70b","datavalue":{"value":{"entity-type":"item","numeric-id":2741526,"id":"Q2741526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f1db242d04b6ec8dac86ce9fe6bd8d75100dca9","datavalue":{"value":{"amount":"+0.7373761534690857","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":"Q3460074$A6C285D7-D837-4C1E-AA7D-9BD851BC83EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12a132e4daa2e15bd5dc269ad3507f16b279f28c","datavalue":{"value":{"entity-type":"item","numeric-id":1687744,"id":"Q1687744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa89c45ea2b7c6c8a552db7256a74bf60bb29155","datavalue":{"value":{"amount":"+0.7371822595596313","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":"Q3460074$7A405598-0173-4C79-AA9F-84B27EE228C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b00f5c94cc43d8c2bb549b10ae10cb5879e32bf","datavalue":{"value":{"entity-type":"item","numeric-id":694550,"id":"Q694550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80df370451572c52ca269a75380f65bd7a517fd4","datavalue":{"value":{"amount":"+0.7318016290664673","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":"Q3460074$DA013482-DB93-442B-8144-695BF760BAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d667ba3690d6fbf0d534052921487ce35ebc418","datavalue":{"value":{"entity-type":"item","numeric-id":4933318,"id":"Q4933318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"300a2206cabd0148fe9fae6e9611a4cfc307ad91","datavalue":{"value":{"amount":"+0.7275128364562988","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":"Q3460074$F5D8A96D-D8C6-49F8-AD10-909E3DA24692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a63d7fe6af7fb615dd0ada14d74a7ffcad7f853","datavalue":{"value":{"entity-type":"item","numeric-id":1040776,"id":"Q1040776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d2ada32bfd9bd2d68ba820c1bb644456c18446b","datavalue":{"value":{"amount":"+0.7228082418441772","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":"Q3460074$2A15128C-18B4-4CDC-BF72-57C665538B6C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3460074","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3460074"}}}}}