{"entities":{"Q3088023":{"pageid":3098738,"ns":120,"title":"Item:Q3088023","lastrevid":51317654,"modified":"2026-01-17T17:56:18Z","type":"item","id":"Q3088023","labels":{"en":{"language":"en","value":"Heterogeneous proofs: spider diagrams meet higher-order provers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5940082"}},"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":"Q3088023$33CB9411-5BC8-4E09-894A-9B813E3E95B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c1d1797af3607dc0c90159e60bb8dec161c8968","datavalue":{"value":{"text":"Heterogeneous Proofs: Spider Diagrams Meet Higher-Order Provers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3088023$91B862BA-CF5B-42B1-8976-A4598F41A620","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d9f58b1c3ce5aa8c6af8c206c2b0d84b8a621c58","datavalue":{"value":"1342.68305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088023$3CC1F5D9-7418-482A-8A45-A4133815407F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b5c60f0affedf42fe345827e611f07db6b65994","datavalue":{"value":"10.1007/978-3-642-22863-6_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088023$14FA9389-3E67-4ACB-9659-5C197DE78911","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d472f173c488410da982f827096ab161ebccc11","datavalue":{"value":{"entity-type":"item","numeric-id":2629221,"id":"Q2629221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088023$1CDFB828-0C19-43CE-B631-66212CE7D9F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"284fbc1bc15076f8bcaa5ac2c8ac8b95878097ea","datavalue":{"value":{"entity-type":"item","numeric-id":946571,"id":"Q946571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088023$FC0E81C2-498C-492A-8288-B55C499B5965","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088023$4E0E36A3-23D1-4F23-9519-6941FACB606D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf253edeced6fad2edf52e73f99001914b4fc105","datavalue":{"value":{"time":"+2011-08-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":"Q3088023$DB7A46A1-9885-4E9A-A8B9-09681B05FE13","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088023$A9F1EAA4-8DCD-4E9C-AFBD-FE9C3CF46389","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ada2419ee573cc3f9e780712998f59d924a439be","datavalue":{"value":"5940082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088023$26C5093C-0861-4A21-A238-30CD39588F13","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"33ceed17ab79e32a20be4f11b121d331447f4232","datavalue":{"value":"Q62046880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088023$32782A37-9195-46EE-B7AD-4E5E27FFF6DF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088023$D4217880-93FF-4FA7-B226-48F490449D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"909568dabd53bb460a5ae2294cdee3516c457899","datavalue":{"value":{"entity-type":"item","numeric-id":21952,"id":"Q21952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088023$91440836-BB87-4CFE-A68A-6DF158D0A897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"58f3895dc14a8b1022a803498cd9dd0eb346a16f","datavalue":{"value":{"entity-type":"item","numeric-id":31284,"id":"Q31284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088023$5401E934-AAD9-4B38-ACB0-EEEE686A21C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088023$AE2C4878-4281-4A1C-BE2B-FA10E5D92D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088023$A9CC2F7F-8591-4315-BE4E-C693BEA58B69","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":"Q3088023$A1A1D9A6-4899-4A66-8508-46A7B703EFCE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d6d2f6a762ebd284505869a470f08b58d7b63c24","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22863-6_29","type":"string"},"datatype":"url"},"type":"statement","id":"Q3088023$E4F27B28-4523-4118-879B-CCB07BA50FBD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"43507a099b2b0d05ad0f58ef35b4d4b1660b5fb0","datavalue":{"value":"W2255432097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088023$E9742CC6-7F85-446B-B5E6-42A88E6C51F3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088023$B75C345C-D644-45C3-B186-3469BC036FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdf701654caa37c51adfcbc258e7268cbb01c7cd","datavalue":{"value":{"entity-type":"item","numeric-id":1333317,"id":"Q1333317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088023$B0A9D4DA-229C-4C9E-976C-F6667633E9DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0211db2c37f97a2472341db17600370696704fb","datavalue":{"value":{"entity-type":"item","numeric-id":5697473,"id":"Q5697473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088023$8200D9D7-4FE4-4AB9-B049-A709D49BFB62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29519c5082641b510c9f561ca4d3a4d3d146db6c","datavalue":{"value":{"entity-type":"item","numeric-id":1306168,"id":"Q1306168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088023$683C94F3-398C-4553-9F10-0B286153F592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f038b6dc918ed6d1af4382b6eb30ee00381e8e06","datavalue":{"value":{"entity-type":"item","numeric-id":4678935,"id":"Q4678935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088023$600074B4-862D-473E-97E0-EF446F70A024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e9dbc0dfe9cecb2239ba681fa18a23f600ff7b4","datavalue":{"value":{"entity-type":"item","numeric-id":2467560,"id":"Q2467560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088023$FAA945EB-1FC0-4E9E-A3AC-59C0223DDDA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a0820b9b0ffc4620c22bd87bc9256584e93a2e9","datavalue":{"value":{"entity-type":"item","numeric-id":2948608,"id":"Q2948608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088023$749C498A-C87B-4D82-A539-C072A396730C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81087b834bd0f0342fd52d99726619dd5c97caec","datavalue":{"value":{"entity-type":"item","numeric-id":3543647,"id":"Q3543647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088023$9BFDBD0F-ABB2-4F4C-B562-51F277E6FB38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10d590a8b88f5e6980c53d2fe51c2713521472bd","datavalue":{"value":{"entity-type":"item","numeric-id":5307070,"id":"Q5307070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088023$7CEB2BEE-7935-47B7-A59A-E0C9A621B421","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"301985ba4b3090cca87e15e0fa96f63f33554800","datavalue":{"value":{"entity-type":"item","numeric-id":2629222,"id":"Q2629222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1889c25fb4089c8e8f0aceea301ff23b23f9aea4","datavalue":{"value":{"amount":"+0.8250508308410645","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":"Q3088023$5759F47C-3DCB-4359-8CFD-330F0043FDDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80e68bdc10e7ed42f024b84e451119966cd0a3a5","datavalue":{"value":{"entity-type":"item","numeric-id":2845530,"id":"Q2845530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c71b44835177f95d41421ac0d196aab10b0cf8e","datavalue":{"value":{"amount":"+0.7980800867080688","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":"Q3088023$BA81E16E-BA3F-4994-8F48-51FBE059D1D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1431f09254dcbf9fde426619bb25c61bad83efb3","datavalue":{"value":{"entity-type":"item","numeric-id":2238136,"id":"Q2238136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c7f875dd3ce0a744105a92743cb2af786309f41","datavalue":{"value":{"amount":"+0.7980498671531677","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":"Q3088023$D5DD9D14-9988-4BDB-8286-001892711303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c125515bb12e9e60c4e3ee1c7caa3ec4f3ac20ba","datavalue":{"value":{"entity-type":"item","numeric-id":4888736,"id":"Q4888736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0536b297dedf903f8e41fb2331f0811e2acebba","datavalue":{"value":{"amount":"+0.7885552644729614","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":"Q3088023$433F6AA0-2E73-4907-8D7A-65436371E18B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b92ee1f9d840406bf517fe43289fabfc65e819a2","datavalue":{"value":{"entity-type":"item","numeric-id":1045993,"id":"Q1045993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9980b00e2f61985bf3b141393230c96db3f48ff","datavalue":{"value":{"amount":"+0.7672814726829529","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":"Q3088023$27FFD295-A775-4678-9176-1B2396A9EF73","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3088023","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3088023"}}}}}