{"entities":{"Q3102737":{"pageid":3113452,"ns":120,"title":"Item:Q3102737","lastrevid":86210375,"modified":"2026-06-03T16:30:00Z","type":"item","id":"Q3102737","labels":{"en":{"language":"en","value":"Proof Documents for Automated Origami Theorem Proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5979325"}},"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":"Q3102737$994A757E-92BD-48EE-AF08-6397D1E0A3A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f5f35caceaa142e0c80d0cdaac2cea8bf113749","datavalue":{"value":{"text":"Proof Documents for Automated Origami Theorem Proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3102737$CDEA2235-96E3-458E-A5FC-2AD854FD0DFA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d461a7f26300c47cbdbedfae9f30e4ab9974ecd0","datavalue":{"value":"1350.68235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3102737$C7B6E74F-69A1-4203-8AF5-233B0094BF94","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04f6b0f9ec818c52a3fe84888e0bc078e4a2d2d7","datavalue":{"value":"10.1007/978-3-642-25070-5_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3102737$5813A8F9-72B4-4904-810D-E50B28E4EB09","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3ae0a6a169d7e3a556d50d0b6b27ea1606941ec","datavalue":{"value":{"entity-type":"item","numeric-id":485839,"id":"Q485839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102737$3165FE3B-53A8-4758-BFEC-7B29120F18DA","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":"Q3102737$7CC5CE5E-7A77-49FF-B382-01FD052A0ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8997c347d36c28123b1669bca35d660cd6d350fd","datavalue":{"value":{"entity-type":"item","numeric-id":633085,"id":"Q633085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102737$FAA203E7-D364-4326-A18F-715B78D694F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"348c28e159850115a4bf602bf9df1d1e5c1cbebe","datavalue":{"value":{"entity-type":"item","numeric-id":2849503,"id":"Q2849503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102737$592627A5-834F-41A8-9C5D-3B771CC7B543","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79dc9dc12f99c62816fe3504c8615ced523dbc1","datavalue":{"value":{"time":"+2011-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3102737$74E46785-A0A8-41BB-92D5-1000298E82E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3102737$9EEBEFB3-DDA4-488E-9FBE-8B07F008576A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37256f133d34bc244da0ea0fe26a04c6dadb9e77","datavalue":{"value":"51M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3102737$54F8F9FD-79F1-4FDE-BFB4-A0915F4D485F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2b8624d17fd643baacd7af05cdca0cd93f08eb6","datavalue":{"value":"5979325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3102737$5A9334F0-8386-44B4-9AE4-140534F9F816","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f592d97f8f33a489c5f02318bcaca84c3430e6b9","datavalue":{"value":{"entity-type":"item","numeric-id":29938,"id":"Q29938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102737$C06B6E50-7F1F-40CC-8D3C-3A2B590A47A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d89eed7087f93c1cdf4120c868b02779d34eaa8b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102737$A4E8B3DE-A6AB-4D4B-99F1-879229C1A399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"261ae6dfeffd96c9ea238e124055221c78337064","datavalue":{"value":{"entity-type":"item","numeric-id":13705,"id":"Q13705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102737$4A1A8B38-CD96-4818-886F-6ABF89346264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"97c52174d6a2c739dccdd83081669a4a937b002e","datavalue":{"value":{"entity-type":"item","numeric-id":15381,"id":"Q15381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102737$99B82AFC-E386-4E99-9DBE-3E73F553BC91","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":"Q3102737$3BA51DBA-1329-4F29-B966-814DFE3D77BC","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":"Q3102737$99AAE91B-DA76-44B7-9085-BE512F51441E","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":"Q3102737$EF9A2A1F-C82C-4E7F-9D40-B70BF9410BD9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ca4e160b6075bb6388ab158e97806abb675c9de","datavalue":{"value":"https://doi.org/10.1007/978-3-642-25070-5_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3102737$61A6C703-C3D0-436A-A698-9D78AFFC3D37","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2cb05ca6099a94000825050cb718cbfaa393667","datavalue":{"value":"W2141766326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3102737$DE780103-8D8F-4BE5-A8D7-C9550A00428A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55279b562077235a83c8f027abb8a1db79401d8","datavalue":{"value":{"entity-type":"item","numeric-id":3194730,"id":"Q3194730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102737$47383674-6D56-4330-945E-ED72B5021EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5de37aee438c43c7e5775d156746f620af22c3ed","datavalue":{"value":{"entity-type":"item","numeric-id":1189386,"id":"Q1189386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102737$2EF41B5C-E7AB-4618-AA80-CC46019E82D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58578d89249b182a7669034e9099f4c6723df7a8","datavalue":{"value":{"entity-type":"item","numeric-id":1577045,"id":"Q1577045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102737$53CD469C-60EC-492B-B308-5B50F2705937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66ec052635085a611a72ee91433db7ef7a5fa2a","datavalue":{"value":{"entity-type":"item","numeric-id":2751543,"id":"Q2751543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102737$67A20534-E444-49D4-954B-6F2087F4F594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"050cda3a065fea542f82336c1a003ecac0439195","datavalue":{"value":{"entity-type":"item","numeric-id":633087,"id":"Q633087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102737$874B6599-D070-4968-8471-9E8490C26182","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":"Q3102737$71D0F1DE-EA74-491B-9BE1-9F83CF0DCE7E","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":"Q3102737$55DAF1F9-8D9E-40DC-AF32-044DB4CC3954","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":"Q3102737$41EBAC05-F1D7-487C-8995-7E2288F5D222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1b6ad556242f577c43c0a1ae08b444eb6c95035","datavalue":{"value":{"entity-type":"item","numeric-id":5493317,"id":"Q5493317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102737$59701296-4D17-44CA-95E3-0A0CDAD2C995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57cb6073bb92238a3ac694f94e3d06e7338f0593","datavalue":{"value":{"entity-type":"item","numeric-id":5902031,"id":"Q5902031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102737$3F402E2A-ACE9-424B-86EF-F97BCC2ABACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c15d5596ad06ea9c33077147ea3f9457eecb7e","datavalue":{"value":{"entity-type":"item","numeric-id":1101257,"id":"Q1101257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3102737$8A6DC942-CC04-4075-A063-1FA582CB7E8C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c6dbc57596a29ba083f0774e5589615f6bcfdd3","datavalue":{"value":{"entity-type":"item","numeric-id":5200107,"id":"Q5200107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce8bd0186d2c878fb5d7f0a25ef27dfa4360c853","datavalue":{"value":{"amount":"+0.9324328","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3102737$147EFE7F-F871-456E-9F42-43FB2EAC8A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6a6ea5518a150fa9f6212fd2c9f146de84315d3","datavalue":{"value":{"entity-type":"item","numeric-id":5699483,"id":"Q5699483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96e955be700d0ac435b964d8bb491e72ac83238f","datavalue":{"value":{"amount":"+0.89090693","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3102737$A5EE5230-634C-40A1-95C0-4C8EED006E88","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":"d866e80fd7385828000d9461021673686f07f20a","datavalue":{"value":{"amount":"+0.88749695","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3102737$F7EE7E8D-E89D-458B-B539-10176AF2E398","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":"339a196d4b3737cddee82379bf1e396568ef73c3","datavalue":{"value":{"amount":"+0.869032","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3102737$105FB242-0AF6-468E-A174-2B80425FA374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6706f674745437a28e826927d52883b093061b9e","datavalue":{"value":{"entity-type":"item","numeric-id":2988387,"id":"Q2988387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ceba21d0a093cf980fee4fabd807348f0b9bae2","datavalue":{"value":{"amount":"+0.8555922","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3102737$08668799-6FD3-40DE-A615-F5786609259C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92fbc7c866df1500efdc056f282aefcfec5130d6","datavalue":{"value":{"entity-type":"item","numeric-id":633087,"id":"Q633087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abf667893c11a9bef661643827d03620ea4d3c14","datavalue":{"value":{"amount":"+0.8512954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3102737$E97F347E-C17F-4630-935D-A98B184396FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d790b6fe5f5e75ac94e015b601608aab859c0e93","datavalue":{"value":{"entity-type":"item","numeric-id":3838777,"id":"Q3838777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"832a94f936b1ab8732bdd7fc5cb4ef5f3159b3d1","datavalue":{"value":{"amount":"+0.8408253","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3102737$2E5DA215-93C9-47D3-87F7-752927662C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec1f2d8f1b6a52cbefee5c5b5b0b14fba1949db5","datavalue":{"value":{"entity-type":"item","numeric-id":3295651,"id":"Q3295651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43023c63118cf1fcf28f413f3f0b2b642da3f469","datavalue":{"value":{"amount":"+0.8380941","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3102737$8B96A240-B530-44A3-BFA3-B192802A5769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e167de97ef55769719ab1c40a9aeba364b051c2","datavalue":{"value":{"entity-type":"item","numeric-id":4269904,"id":"Q4269904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8e5a99a9c56d85eed54aa1506d7ad7fbcc1e745","datavalue":{"value":{"amount":"+0.8365071","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3102737$4FA30F84-61FD-45D7-BBE7-7AD1138CED24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bedcca7522067bd4c9657d84c45f2b6bd8d3026","datavalue":{"value":{"entity-type":"item","numeric-id":1272613,"id":"Q1272613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7a5abbe5145155d7bc367c4227a132e37f8f7a6","datavalue":{"value":{"amount":"+0.8364095","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3102737$D2F1D6CC-9018-4357-9F33-6B5FDA6BEC91","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof Documents for Automated Origami Theorem Proving","badges":[]}}}}}