{"entities":{"Q2867943":{"pageid":2878663,"ns":120,"title":"Item:Q2867943","lastrevid":51895001,"modified":"2026-01-20T12:05:25Z","type":"item","id":"Q2867943","labels":{"en":{"language":"en","value":"Tinycals: step by step tacticals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6241763"}},"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":"Q2867943$AA1CCF94-D897-430B-8B3F-25939E23479A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b175567c35cb3c4335b3b6d4a2a16d640a2f63a","datavalue":{"value":"1278.68253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867943$DFAA3A79-815F-4AD8-A1C5-3F73E0F852F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6fcc0863f3310792433a26fbf0220fe6380173d","datavalue":{"value":{"entity-type":"item","numeric-id":651318,"id":"Q651318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867943$D99A8159-6C96-4F19-AC66-158F91A61D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99729ea5fbac2e397c47743039765083a0ae1bb2","datavalue":{"value":{"entity-type":"item","numeric-id":205581,"id":"Q205581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867943$EACBBF33-A320-44A5-946E-F122C045CBC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac4df35058372f3a5a3fcca829b7e7ac017dc13f","datavalue":{"value":{"entity-type":"item","numeric-id":476171,"id":"Q476171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867943$3FE189EC-0A24-4A72-9655-7EC2801F91F6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867943$E285232E-D601-4D00-84A2-2326C79FD076","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"910ae69968b0b824ffb07e2bd5cc35370f9e2a13","datavalue":{"value":{"time":"+2013-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2867943$507C34DF-601C-4028-BDCC-206674D3828E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867943$AE988440-79CB-490C-9F9C-AF7543B1B026","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a90381cb06cddec4f600c3dffa4f33cc85802ffc","datavalue":{"value":"6241763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867943$4850B074-8E9A-436B-8A1F-3D4207AE350B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867943$2D2749F5-6D27-41F7-B3A4-AD0A6739FAEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"266524f46844b4af2615ae14d0c7a95a0a499376","datavalue":{"value":"small step semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867943$1A818791-11EC-4DFF-A4FD-F1F1F5582694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3a95188276cf165fa394406aa50da1ce974a545","datavalue":{"value":"tacticals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867943$14313C91-FD16-4BFA-B115-2655763D4561","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867943$FDF22AEA-F3FF-4206-87D3-3E444D60E154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4f4a7d8a07c40281293b20fef0aadcbf0de2bbd2","datavalue":{"value":{"entity-type":"item","numeric-id":21949,"id":"Q21949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867943$ACF1CA63-0B6F-485D-ADFE-F01B65F5176B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9aeef25d5839625565921d83cf1c652bf6f2fbf6","datavalue":{"value":{"entity-type":"item","numeric-id":17052,"id":"Q17052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867943$E43C6FE9-89BE-4633-91EC-ACE05BD2C374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e262f47aa23786f0d5ca3c491b5060c53e80792f","datavalue":{"value":{"entity-type":"item","numeric-id":18274,"id":"Q18274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867943$D1EC68DA-671E-4C81-BF2D-F6B6F7DF35BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b222922e2b373ab7fb2b7a049f9de07c755ee255","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867943$C2B0DD65-A2AE-400B-B451-1E2D4F2B68D1","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":"Q2867943$0AE580F3-0FE3-4FA0-A48C-08B4D0F9F4BC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b8ad573f808f3911eb9ca702cb18c527ddfe5148","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2006.09.026","type":"string"},"datatype":"url"},"type":"statement","id":"Q2867943$AD52D027-0389-4053-975D-613ADCD1471B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0594d65b39f512b358722a02cfc83423ffcfadfd","datavalue":{"value":"W2113936998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867943$3BD0C989-8052-4E5B-98F7-780441B01545","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ed676a30153865553be4ece9b9bd7bd3ff7fa7c7","datavalue":{"value":"Q56901946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867943$3D804068-CFF7-453E-95F3-22E9A58ED0CE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1196f5e17dff99bc1a9d16ec3c58ef966832597d","datavalue":{"value":{"entity-type":"item","numeric-id":2729065,"id":"Q2729065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867943$85CBCDE8-EA40-4C2E-B1CA-CDE1A0E8CE32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ab39f3e76955eb000a374ee76583aeff145f9c9","datavalue":{"value":{"entity-type":"item","numeric-id":4411846,"id":"Q4411846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867943$09892F44-3B60-411E-90AA-8711FAB3D2DD","rank":"normal"},{"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":"Q2867943$970F860B-604B-437A-AA63-460EB1170819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2da3bcef3bc19a67dd983a130bdfc3586708d4","datavalue":{"value":{"entity-type":"item","numeric-id":2055899,"id":"Q2055899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867943$9EE637D3-5016-4CCD-ADDE-33A451029150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da0ff49397ea19846ebf7015ef97d9aaf7053b93","datavalue":{"value":{"entity-type":"item","numeric-id":3024887,"id":"Q3024887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867943$DC953C76-D8F8-4B91-89F9-B798EC73C269","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"a2b6b0ac82c366d1baf9f3018ec9b314ff9cf609","datavalue":{"value":"journals/entcs/CoenTZ07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867943$4A928EC3-F52C-462E-AF1E-DE742E4D7636","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9031ed2e5326b931f2d8d7af6b771205fa4f3a9","datavalue":{"value":"10.1016/J.ENTCS.2006.09.026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867943$AD8E0E47-AE6D-42B0-B323-1695010EAB05","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ef38526f02e824b3ef6e6e1417b889110c4ac06","datavalue":{"value":{"text":"Tinycals: step by step tacticals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2867943$C78E2E3C-F1C3-43B4-8563-F8EC1816DF95","rank":"normal"}],"P1643":[{"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":"39d414dd6da1f104d327e500e61abc66054e3ba6","datavalue":{"value":{"amount":"+0.7556689381599426","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":"Q2867943$F672CE22-7474-42F7-8730-F7FD957AC52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"590389987854c62166aa437651a61e790abebe66","datavalue":{"value":{"entity-type":"item","numeric-id":2864359,"id":"Q2864359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e9416f0f83937a5c6e338e2d740e01db18fd5dd","datavalue":{"value":{"amount":"+0.7513276934623718","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":"Q2867943$9EBBCDDF-CD25-4DE9-988B-5F6722328F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b374d103ae25750298391ed37f0bec8a184b0c0c","datavalue":{"value":{"entity-type":"item","numeric-id":2847396,"id":"Q2847396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82d813efb570ad2f2b788bc739dbafa231a57a59","datavalue":{"value":{"amount":"+0.7480544447898865","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":"Q2867943$852629D5-7E05-4929-98AF-F19D38DFE353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbbad55ea327bd2b71a72261e8db306a544d6454","datavalue":{"value":{"entity-type":"item","numeric-id":3021903,"id":"Q3021903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce6b283ef55ed70e4c215dfe15e19cea2c820200","datavalue":{"value":{"amount":"+0.738915741443634","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":"Q2867943$26BA9A65-7738-48CF-9AD0-D775A16E80DA","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":"28dedfee25e41c6e4fb01acfc796b7c4a9b22daf","datavalue":{"value":{"amount":"+0.7246274948120117","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":"Q2867943$DCE3816E-E388-47E6-AD3C-425CC2DD6778","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2867943","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2867943"}}}}}