{"entities":{"Q5403476":{"pageid":7433050,"ns":120,"title":"Item:Q5403476","lastrevid":75509701,"modified":"2026-04-19T07:45:25Z","type":"item","id":"Q5403476","labels":{"en":{"language":"en","value":"Computational origami construction as constraint solving and rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6274309"}},"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":"Q5403476$D8BB883A-9304-4752-A16E-917F47D1790B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1071e9b766ea2e8d09dabdfc1ba86e42443d8949","datavalue":{"value":{"text":"Computational Origami Construction as Constraint Solving and Rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5403476$98DFBAAE-CEDC-463C-8078-74FCE950E2B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb65e8554f98113f6c2f0af88140d221b6b143be","datavalue":{"value":"1283.68184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403476$D2D40F67-E0CD-4DE2-8659-BCF6AF6BF216","rank":"normal"}],"P16":[{"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":"Q5403476$A63C5C5D-7A4E-461C-9549-11DAD60489EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf970c552e83833ca420bc4e0574174b2fcad709","datavalue":{"value":{"entity-type":"item","numeric-id":351993,"id":"Q351993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403476$20744A4F-F9D3-4BD7-B31D-6D9CE6C090E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"38f4f07d569a21da307c6690f939fb47415b4cee","datavalue":{"value":{"entity-type":"item","numeric-id":633086,"id":"Q633086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403476$1A699215-795D-4755-A26B-E5F2CC3DC675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb3bc1c16b3ddd2e06e25319b6219656b4b56ac5","datavalue":{"value":{"entity-type":"item","numeric-id":5403475,"id":"Q5403475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403476$ABA309FE-970E-4C34-BCED-D822F6CF9D54","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":"Q5403476$4B19C8CA-2B70-41C3-9D04-44C69B988B0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c143ccdb05c90aaaa52d92c2334883df4c472b19","datavalue":{"value":{"time":"+2014-03-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5403476$034B8E8A-E95B-4A65-9FC0-CA2638678AEF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403476$79E29792-121C-4A6C-B2E1-D610F44AD6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403476$BF3546D3-548A-4046-9C45-5A25E2D2A353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403476$7D7DE9BC-45A8-4C76-BE55-6D5B76AB5AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403476$E2ECF995-FBE2-42F0-9826-619EE099674E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d37fbd982bb215598f2934045c95c22dbbfd0aea","datavalue":{"value":"6274309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403476$616477C2-D85E-4C4E-BA2B-FE99AA82A637","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f01725a7a0e612e6907171b8bfd8c6892cb92cb","datavalue":{"value":"computational origami","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403476$2DB96694-B1C8-480D-80B4-239D64BE2826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2440c6394e2ac24533843222855bcea18333dee","datavalue":{"value":"constraint solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403476$DD415CF2-DA17-46DB-A287-744D1E9411ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403476$4A213D37-2265-4568-A01F-B4F78B0A9B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d76404801af165cb463eb6565e85db865a0fa52e","datavalue":{"value":"functional logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403476$E612B3DD-9AC6-4881-8F04-BBDD66E620F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403476$137F4E7C-C9B2-4F6B-8B33-B999A36CB1A0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7922910f294a9803858a673fdbe62341cd39b532","datavalue":{"value":{"entity-type":"item","numeric-id":13007,"id":"Q13007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403476$CB5A5A2D-3F83-4CAF-BACC-B406E46AA24B","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":"Q5403476$52936685-9838-46C6-A0CD-0B73339F39DB","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":"Q5403476$B1503BAC-2B5B-41D6-AD39-4004CEFEB964","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"138432e04c3979425f2875c162a686e1dee02d4f","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.06.032","type":"string"},"datatype":"url"},"type":"statement","id":"Q5403476$E02C5CAE-F864-4A08-8091-81D26E6B0FE7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4aecf4bd56e9147323afa3728d6f41fb4d6efaee","datavalue":{"value":"W2026931905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403476$54084AC2-7F4D-4296-B048-B1902229667F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f3a64234033ad2f15fbdb96d90017393c890aa","datavalue":{"value":{"entity-type":"item","numeric-id":5898525,"id":"Q5898525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403476$C786921C-9F6A-48DB-AD93-7B72FDE6A9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bd3458184ccbfa876e6640cc64fb1691d6771a8","datavalue":{"value":{"entity-type":"item","numeric-id":5493324,"id":"Q5493324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403476$465DA39A-1EBA-4566-8698-CC41540DFFF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35b3a3bbb3070928fbac1b871eab8deae4848ea4","datavalue":{"value":{"entity-type":"item","numeric-id":1328184,"id":"Q1328184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403476$7F31D676-0A0E-4DCF-B9AC-A34420843F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"694910451200ab7067ebbccacf142af3ac2a2369","datavalue":{"value":{"entity-type":"item","numeric-id":3992847,"id":"Q3992847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403476$AF58FC9E-5991-4751-91C2-51D3124C5AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2ef9736f8b49328d5416cb2c5a0be1ca90d2c0b","datavalue":{"value":{"entity-type":"item","numeric-id":4823164,"id":"Q4823164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403476$3F7EFAFB-98AA-4E09-BB3B-F2375BC69BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7e6106b9a3659c0b19c884c98da829aa5794517","datavalue":{"value":{"entity-type":"item","numeric-id":5481004,"id":"Q5481004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403476$21B84254-3CBB-4F79-82E5-343C2120F15E","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":"Q5403476$B28E67A8-7465-48A1-878D-5AE2FD5E107F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ffcd63771e829ca41408d7115968c60b21653cf9","datavalue":{"value":"10.1016/J.ENTCS.2008.06.032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403476$1047AAD7-8808-410D-B329-937B9E7332DB","rank":"normal"}],"P1643":[{"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":"d44d5d798fd3d72ab3da42ab4f4957c3dd2d9f1b","datavalue":{"value":{"amount":"+0.8552636504173279","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":"Q5403476$24EBF0F4-6292-4855-A43C-4F19A9F2336A","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":"94dfcab01ad65f29a72def2c082069ce0718f746","datavalue":{"value":{"amount":"+0.8538837432861328","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":"Q5403476$9AFE8ADE-EC7D-4146-9A74-065A91DBFB20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67c9e0010fa856bb46a9d8ea92bfb43a84407960","datavalue":{"value":{"entity-type":"item","numeric-id":5902357,"id":"Q5902357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aebd154f98745f445822fff2ac1a89bb1b07a51","datavalue":{"value":{"amount":"+0.8518736362457275","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":"Q5403476$334505AE-B52D-4D8D-B0D3-B1C5408D23F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bd67fa6c4979cbd73e947ae652bb12bdb80d852","datavalue":{"value":{"entity-type":"item","numeric-id":5699557,"id":"Q5699557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"345de86a17c9a120ad5a83e6e2d8e1ba5f0459fe","datavalue":{"value":{"amount":"+0.8432376980781555","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":"Q5403476$A5237D34-AF20-4B6B-ACE6-92A24879EFD4","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":"3b45fbfe0a9740faef415ce7c3ebbaaee42268ae","datavalue":{"value":{"amount":"+0.8409251570701599","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":"Q5403476$FA6A0B04-954D-4756-B6F6-79A870C74E7B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computational origami construction as constraint solving and rewriting","badges":[]}}}}}