{"entities":{"Q5200107":{"pageid":7229678,"ns":120,"title":"Item:Q5200107","lastrevid":51307043,"modified":"2026-01-17T16:53:20Z","type":"item","id":"Q5200107","labels":{"en":{"language":"en","value":"Proof assistant decision procedures for formalizing origami"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5934438"}},"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":"Q5200107$824B476C-519D-4E47-A332-37599CBC58BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"84b5b0c18530e288e6ec5f6233818638e79aff3a","datavalue":{"value":{"text":"Proof Assistant Decision Procedures for Formalizing Origami","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5200107$CB385C2E-3005-4CDB-B244-E47104D90662","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"805ab5bb96dad0aa6e720a231abd3025dff4ce9a","datavalue":{"value":"1335.68230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200107$E093F5B0-E85C-4809-B58E-5875B5C70855","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2bb80ddd60cfd67c3700b81e4de796f0f62b4333","datavalue":{"value":"10.1007/978-3-642-22673-1_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200107$1E4AFE85-71C8-4815-81A9-65899737F138","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ad6a046b48bbe4ab777309f1d5c19b5fc7dfbda","datavalue":{"value":{"entity-type":"item","numeric-id":286799,"id":"Q286799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200107$7C574410-59F5-48A7-9FE6-660CB1A8910D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b6abd34bf2c1ff2e47854f70a86c2a484a01cba","datavalue":{"value":{"entity-type":"item","numeric-id":485838,"id":"Q485838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200107$789ABB05-AC27-412E-BC98-61BE3BE32F5D","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":"Q5200107$54D88A82-13D9-4C78-A995-0B7998FAF187","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d00523700407e21ae71debe0fbbbb012ba59e567","datavalue":{"value":{"time":"+2011-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5200107$A49974E0-D209-4D42-A6CF-F3A2A7F45FE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200107$537B4546-65EF-43B0-8C52-38EBB9B0C9CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200107$0991BDE8-8A79-4838-A9F4-52A5F04FDEAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72ea38da0355905312c141517fb9f9661a06a85c","datavalue":{"value":"5934438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200107$C52AC91B-2B46-46FE-8FED-880415F5FCF5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"498360af4731637cb927c63b61e0183f91baf74a","datavalue":{"value":"Q108482187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200107$09FF333B-3AFB-444A-8F38-C1772969ABC8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"09d7950f01425e7e9f7da214e3be0764705999c0","datavalue":{"value":{"entity-type":"item","numeric-id":13087,"id":"Q13087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200107$2F089F50-6CD3-45CD-918A-91315D77A909","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":"Q5200107$15323FAE-A121-4CC8-BA48-16D2F1A10D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"86a4af2bb3c2c33ea624c50ed824f97c07fb9cde","datavalue":{"value":{"entity-type":"item","numeric-id":17876,"id":"Q17876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200107$FD97AF9A-53BD-4191-AA05-E37F16A97801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200107$CFE94297-A5C8-43D8-B102-470B590CA841","rank":"normal"},{"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":"Q5200107$A910A9C6-2CC8-4FAF-B480-A2B05C025FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200107$E89B0AED-DC3A-4480-B2ED-943E4D6E2698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200107$CB2ED77E-2F19-4FF2-A317-1D07DCB3C7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7fd741b1ceeb7995c573b98e8b2c8facb4ea75f4","datavalue":{"value":{"entity-type":"item","numeric-id":19263,"id":"Q19263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200107$3E17AE00-91CE-4A4C-BE7C-008742E392E1","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":"Q5200107$27B60F76-B593-46B7-851A-5B95A1D148CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"deb6efbb314fd4203cf3c468a46976bf7cb37243","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22673-1_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q5200107$B3CA7289-8CAE-4174-8254-FE7F14E868F4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0920790f3c47561ccc2a106812e17d22fc62d124","datavalue":{"value":"W57316377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200107$988F8C47-7A5C-4CC3-B4C5-822604B46240","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7714e08a8556aa1cd6a9f5fda8c7d4f8d9c37ba9","datavalue":{"value":{"entity-type":"item","numeric-id":4790649,"id":"Q4790649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200107$B2537D14-08A0-4789-9C02-DC7266C7114B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3613de2656b36efbfad9ae344c84f6704f810087","datavalue":{"value":{"entity-type":"item","numeric-id":4810133,"id":"Q4810133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200107$7DAB62DB-C15C-45F1-845E-73FDD3EB521C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eae5b7e0558bac7e1524f821a03ac55eeef31db","datavalue":{"value":{"entity-type":"item","numeric-id":3582707,"id":"Q3582707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200107$787B6FD9-FE30-4211-B899-ADBB1B505E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"172efa16626f756eca82e51e5ba10e189561287e","datavalue":{"value":{"entity-type":"item","numeric-id":3102737,"id":"Q3102737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200107$E1F4CF46-4C5D-4F90-B80C-712EC76C87AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"328caad0b77361ed511af273d18672e961160188","datavalue":{"value":{"entity-type":"item","numeric-id":2655329,"id":"Q2655329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200107$05967A6B-61BA-41D9-AD05-D75E25B6284C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc5bac2a1c3bf09f6471a60799fa53f4bbb721a1","datavalue":{"value":{"entity-type":"item","numeric-id":5428262,"id":"Q5428262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200107$0E8F967D-97AA-45A6-A8A0-4E8B5CF6888D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"733829cc581f757d82b8942dcd331df7bcadc5fd","datavalue":{"value":{"entity-type":"item","numeric-id":5747831,"id":"Q5747831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200107$EF1CD4A2-4C82-4C26-B0CF-33962E819911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d43a848f856e7add83e6907744bb466bc863e38a","datavalue":{"value":{"entity-type":"item","numeric-id":5394621,"id":"Q5394621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200107$9F6473DF-2270-426E-8201-77B32264280A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0054f1bae41ce0c9465e89ccb545c5e6c23a5655","datavalue":{"value":{"entity-type":"item","numeric-id":1034553,"id":"Q1034553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200107$BC745942-CEB6-4D07-91BD-EA59CB224FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d795b598201d37a3767197b6e0d7bcbc8cde96fc","datavalue":{"value":{"entity-type":"item","numeric-id":2462636,"id":"Q2462636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200107$3C036E51-9BA7-447D-B0C9-7A0190E9199F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d39908c5a235c03df819aa572bb5faee5bbd9ff3","datavalue":{"value":{"entity-type":"item","numeric-id":5747831,"id":"Q5747831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"507d51a08658bcc68a7541959e66d9b714184fef","datavalue":{"value":{"amount":"+0.7393302917480469","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":"Q5200107$0095F6F9-902A-4BAF-81E8-A503B0910A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68c9c207fa4078079b2f0c24260623cd7e10cae0","datavalue":{"value":{"entity-type":"item","numeric-id":5700800,"id":"Q5700800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca53a701509ccec81ac2be89251e55005e6f72db","datavalue":{"value":{"amount":"+0.7325326204299927","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":"Q5200107$785BBA57-F56D-4EB6-9BCF-156996F6115A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef7ee3b7d6d18ddf40be1d05d447cb6374f78511","datavalue":{"value":{"entity-type":"item","numeric-id":3003228,"id":"Q3003228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82b2d64141e9e82a31f3b3d5b4f07d263ea6f202","datavalue":{"value":{"amount":"+0.7289751768112183","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":"Q5200107$386B61FD-6886-48D0-A776-F1A9BDC31D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"188a94f181003660b8a0acecbb2e43326bf66a26","datavalue":{"value":{"entity-type":"item","numeric-id":5464697,"id":"Q5464697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cee71c9eab6379c4d75ec9a464be4c81b5e6be52","datavalue":{"value":{"amount":"+0.7161075472831726","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":"Q5200107$89EE17DA-E0DA-4CAE-A3A1-5ADC2CB24060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4f979d199d0b01e4aae5b7ad9262fe13a00ca35","datavalue":{"value":{"entity-type":"item","numeric-id":5403476,"id":"Q5403476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a7c709728b87612f794616a58fdb8b2e537b3ec","datavalue":{"value":{"amount":"+0.7115803360939026","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":"Q5200107$C567CB6D-B24F-42AE-865A-E6307DDBC3EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5200107","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5200107"}}}}}