{"entities":{"Q5505516":{"pageid":7535076,"ns":120,"title":"Item:Q5505516","lastrevid":50550299,"modified":"2026-01-14T09:03:59Z","type":"item","id":"Q5505516","labels":{"en":{"language":"en","value":"A Tactic Language for Hiproofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5498240"}},"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":"Q5505516$AC630AFC-A1E5-4F71-830D-AFBE51ACBB15","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8379e5baf460a00e74fdb7b1e422276dfdad7931","datavalue":{"value":{"text":"A Tactic Language for Hiproofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5505516$344D6CFA-7B9C-4DDD-8477-304EC1EE87CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54b90699ce75d30a988907d5c3642d094851c11e","datavalue":{"value":"1166.68336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505516$16275A72-96E7-46CC-A745-882DA6DB0B30","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a3cad57040edb515996b2993da67dab6669413c","datavalue":{"value":"10.1007/978-3-540-85110-3_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505516$9F79623C-39E2-4282-BACC-F12D8DC8CFC0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc1b8b1b6117a19b388d1d022c2e390dc69da1c3","datavalue":{"value":{"entity-type":"item","numeric-id":626931,"id":"Q626931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505516$9FEC18D6-F6C6-4FBF-B1D4-C569AD481C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce00bf932e8d4142816bb1d3b66ef3457d10b848","datavalue":{"value":{"entity-type":"item","numeric-id":626932,"id":"Q626932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505516$538EAA67-F622-4926-B56B-BDECB4BF755C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cb2d83c6e9a26863f5eadd24ed7ef714112a42b","datavalue":{"value":{"entity-type":"item","numeric-id":626930,"id":"Q626930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505516$CE40431F-21E6-4CD9-A6B5-272BA803375D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505516$84DE110E-3BA3-4D10-BAD6-727D9B985FF5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51e6c39ac6ec91b8381a06fe1e16cf5aca0f2bdc","datavalue":{"value":{"time":"+2009-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5505516$4F1C8325-2237-448B-A917-A5A5254896B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505516$7ED9DFD5-E565-4B7A-AABC-4AC1D0034F1B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5240794a2079cb195a53fd5a2d30b61759fb13ec","datavalue":{"value":"5498240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505516$CAFAA314-3F12-4602-9DEF-D31EB09703E5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"90bfdd1a1f860255fb4bb8fdc7c84fcb47630c66","datavalue":{"value":{"entity-type":"item","numeric-id":14460,"id":"Q14460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505516$EF157972-CCCC-4129-8230-272C4A0797FB","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":"Q5505516$3CFBCF2A-D1D3-4A4E-9BA4-56CE1B94D557","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9c3694ec9956e4b782cfd4983057c2dc8183536b","datavalue":{"value":"https://doi.org/10.1007/978-3-540-85110-3_30","type":"string"},"datatype":"url"},"type":"statement","id":"Q5505516$3835C57F-D167-4897-BBB7-FDD5FFFA63A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"55b29f583d55e71f3ee7a438069bb48bcd6f83df","datavalue":{"value":"W2120455414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505516$89811786-E34F-497E-8D37-57156EA9120E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c1c5cadedaa2f71bf34fb23d0208c0ef6f0d05d","datavalue":{"value":{"entity-type":"item","numeric-id":2852358,"id":"Q2852358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505516$F7378D74-9382-44C2-BB8F-26766BBE45B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e8c273be77bf6b1b19fb6e1124adc2445e066e","datavalue":{"value":{"entity-type":"item","numeric-id":706504,"id":"Q706504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505516$BD5969A1-DBB4-4AD2-BD31-2D16CEC3A95E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0ecba633e7dd0ac407826dd5f559a4e819c3c8a","datavalue":{"value":{"entity-type":"item","numeric-id":2867943,"id":"Q2867943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505516$AD8E404A-1613-46C2-B48A-0D5D143A33A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a94721e1e032fbadf18e9bc1327b35c58351cc50","datavalue":{"value":{"entity-type":"item","numeric-id":4819651,"id":"Q4819651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505516$800FEED2-AC29-4356-887E-21BFA4F88744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"526569e2045d88153ecb5cf7f75a680cdcd5a85b","datavalue":{"value":{"entity-type":"item","numeric-id":2767010,"id":"Q2767010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505516$1AB7D501-7BB8-49AE-A526-5B57D6DAAD58","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09aab0dad9dd5b10f6c7792ef99e86573d003dbb","datavalue":{"value":{"entity-type":"item","numeric-id":626933,"id":"Q626933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89e204a7742c386da21a4890aee7bebd6e38d9e0","datavalue":{"value":{"amount":"+0.8804557919502258","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":"Q5505516$4D51911E-71CD-46CD-A3E0-59AE8A399721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc534be3eb834aabf0b2f4a9c4c155267b2fe28e","datavalue":{"value":{"entity-type":"item","numeric-id":2852358,"id":"Q2852358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f20a075d57a0f4c16d8007ca30311a72d959be6","datavalue":{"value":{"amount":"+0.8302134871482849","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":"Q5505516$4F493729-58EE-4A20-8B39-21B08DC5138F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c86939d991eb0b7f4f43cbe975b0dc39344e9960","datavalue":{"value":{"entity-type":"item","numeric-id":2843014,"id":"Q2843014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e149c4ddccde94dab86cb1d77816344a3ad1cf85","datavalue":{"value":{"amount":"+0.767465353012085","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":"Q5505516$060C375A-7A0E-4A32-A3A8-9DCD987BC335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d5986d85fa9101ccd2f08213c32144d6934f25a","datavalue":{"value":{"entity-type":"item","numeric-id":1815345,"id":"Q1815345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a44db3fd2bec76b79002a558cc313643755d2d9","datavalue":{"value":{"amount":"+0.758340060710907","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":"Q5505516$9D6600BB-4632-4D72-B4F8-2803779F9D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe7a7c4f5dac6dd56f6689fbd94d027549e0a9bd","datavalue":{"value":{"entity-type":"item","numeric-id":5756755,"id":"Q5756755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee347f4a0a5df8f2f512ae20f97d48b3aa655d00","datavalue":{"value":{"amount":"+0.7519797086715698","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":"Q5505516$D82E3C7D-93BD-4A95-887E-67A4734A78F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5505516","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5505516"}}}}}