{"entities":{"Q3525155":{"pageid":5555059,"ns":120,"title":"Item:Q3525155","lastrevid":50453438,"modified":"2026-01-14T02:30:16Z","type":"item","id":"Q3525155","labels":{"en":{"language":"en","value":"Partizan Games in Isabelle/HOLZF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5342683"}},"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":"Q3525155$096708C9-5CE4-4D38-822C-F23FA8C8DBAC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3830923a07b4a6ff2ae7dc2d8f5c89b90a7e4d0","datavalue":{"value":{"text":"Partizan Games in Isabelle/HOLZF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3525155$251F1FF7-DA0F-4F31-BB21-932EB40C6822","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b79b4346e03b33cf59b530e3787ca28d46e66456","datavalue":{"value":"1168.68543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525155$E6317365-2A9B-4CEC-9F79-B2916F89DDA2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96f637aee5fbbe3f5ce09d2a532bbfd2175d7c04","datavalue":{"value":"10.1007/11921240_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525155$1A4E0E0E-0817-4B8C-B231-600EDEA5B59A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"14c5746c9fb7bd206dc1bf3cfc28ead272520668","datavalue":{"value":{"entity-type":"item","numeric-id":2379682,"id":"Q2379682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525155$0A8EA7A5-D1C1-4B7D-96CD-D1BEE64CC11B","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":"Q3525155$AF9CA9E4-AD82-4966-8F71-0D5D861945E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9b70832020d0274379b3b309a7c6882590833b7","datavalue":{"value":{"time":"+2008-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3525155$6881C6F8-A20C-4599-A462-547393DD3F5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525155$6F94BC9D-F4BD-4ED9-999C-1B416C4E1C1A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a598d4f86f15738f9277a0fce0478e88e47225e7","datavalue":{"value":"5342683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525155$1B2597FE-D008-4FAC-A659-45B153DE2D67","rank":"normal"}],"P1463":[{"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":"Q3525155$13BB7CCC-C182-4A5C-8607-465D58A362B9","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":"Q3525155$96193E2A-300D-48E7-ADBC-7E19B7D9B1FE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c111d2c92921ef7c4e3366765af351a6be88516","datavalue":{"value":"https://doi.org/10.1007/11921240_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q3525155$F35A1D8B-478C-468A-B314-8D88D3448795","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c89843fc40eef98844063600fc611da96579638f","datavalue":{"value":"W1485040255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525155$EAFC01D0-C581-4A9E-B09F-DDED62E7DBC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd6b1e5f497a73675f6518239d5fa1a82692e576","datavalue":{"value":{"entity-type":"item","numeric-id":2865734,"id":"Q2865734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5ead5a4cb56604c389e25d5b1099f98ea47b40a","datavalue":{"value":{"amount":"+0.7476519346237183","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":"Q3525155$D84D12AF-6D7B-4518-AA44-265AFCB05DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d46de9cc46f833783e111f91d42afc12a12fe8b","datavalue":{"value":{"entity-type":"item","numeric-id":2949132,"id":"Q2949132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6232378defd0c22835920087d5b2be28938e25da","datavalue":{"value":{"amount":"+0.724517285823822","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":"Q3525155$61D65BF2-9DC7-401F-9E0A-C0B935CC585E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"774ec9a1addacd4a1137732ce393ac8a4d0cbc8f","datavalue":{"value":{"entity-type":"item","numeric-id":4099541,"id":"Q4099541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e65a96edb620a99192bcb940290efb1b31850bc7","datavalue":{"value":{"amount":"+0.7241090536117554","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":"Q3525155$75A3CA23-1FEF-4F06-82FA-FB1AC775F816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65b4461f3be2d5cb07fe4391de86bc2e1900b539","datavalue":{"value":{"entity-type":"item","numeric-id":3574149,"id":"Q3574149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd2035195891f700481a8e439194ca22de5ca188","datavalue":{"value":{"amount":"+0.7188597917556763","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":"Q3525155$6FFFE9BA-889D-4C39-A5A8-12393933B789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"003639d808bbbd3c561a3ad47e4aa48806c7bc6e","datavalue":{"value":{"entity-type":"item","numeric-id":986557,"id":"Q986557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7de18a8c13190b16f0d743acfa362de61176c3f0","datavalue":{"value":{"amount":"+0.7169897556304932","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":"Q3525155$B92DA81A-FB26-47A8-96F3-84A0C4BF7DD1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3525155","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3525155"}}}}}