{"entities":{"Q1331925":{"pageid":1342675,"ns":120,"title":"Item:Q1331925","lastrevid":70733565,"modified":"2026-04-13T16:24:03Z","type":"item","id":"Q1331925","labels":{"en":{"language":"en","value":"Program composition via unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 626278"}},"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":"Q1331925$B7149CE0-60D2-4D17-9E9B-5C7A8D0212A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e708711128c37375f58ce67cfdc5c9dc81dc14cb","datavalue":{"value":{"text":"Program composition via unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1331925$50ECD0A7-6C3C-421F-943C-F2D0F0B28EBB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05d739e1c6b58ee963c194719ae127b3c2d70012","datavalue":{"value":"0822.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1331925$64665E7C-596C-431A-BAEB-0DFB45666A61","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bde454b4605607d8d0db5aec710257029ffa19b1","datavalue":{"value":"10.1016/0304-3975(94)90093-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1331925$23B26F4D-B2CC-4873-B2AF-FA39B90BCE6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d92818e59c1c1e061569f357623fe5f5b2fd830","datavalue":{"value":{"entity-type":"item","numeric-id":1274451,"id":"Q1274451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331925$636C45BD-C1B0-4EE7-A3B5-AD74D306B0FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f22a3deb8c3bb69905bbf6e6a826dde89e56c83a","datavalue":{"value":{"entity-type":"item","numeric-id":174819,"id":"Q174819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331925$405BC3BB-CE38-4CE9-BFE2-C7067DC7BA42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dde9477c31764f7e982fa5c7962174291d7bf7fb","datavalue":{"value":{"entity-type":"item","numeric-id":259063,"id":"Q259063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331925$4DEA2605-C1ED-4AC5-9FC5-66F4DC0F0808","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331925$45D6A834-5FCB-4BF7-8A93-95652733C578","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12c17d7316137b5457243cfe10f00c4bb5a56573","datavalue":{"value":{"time":"+1994-08-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":"Q1331925$09EED701-9408-487A-A88A-434FA16FD046","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1331925$A45F52BD-CE3B-4AB0-A198-D2780AAF3CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1331925$59563796-8E69-4F38-931D-B09003E7DD3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1331925$68CF3749-2713-4C0F-81EA-79B0BE25A994","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33ec58a883d15b530581c8f5afc96988b8c1ccd8","datavalue":{"value":"626278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1331925$FD1828FC-C91C-4D6F-89B3-F05DA4C51860","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6c24df595f68410da8c2fc55917eee4688fbaec","datavalue":{"value":"compositional proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1331925$3CD31548-557A-4815-8CA3-C27AE0BFF7E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5206a2359ec2a279c7084b042456f0e836656036","datavalue":{"value":"verification of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1331925$73945AF8-8429-4B58-BE31-1C32B383D0B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d11ebd4c08559be95729fa363a4813198a943aeb","datavalue":{"value":"jigsaw operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1331925$26E50460-5E61-4FEC-811C-8096618BE74B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17cfe6afe68a54e81dc559ef2cd5a702765207b0","datavalue":{"value":{"entity-type":"item","numeric-id":25375,"id":"Q25375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331925$9C1F775A-401D-4547-96F2-2D29D1337019","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":"Q1331925$0103F8D1-913D-42DF-BDF0-B8D1D7ADC4D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"47802410b987147446d6d252db81d9c0cf1bcf0f","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)90093-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1331925$53ADF944-13EB-4661-A26E-E2584BB880CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d2ae0e212cb09c859ed11ecdd59cb3922a5ba2d","datavalue":{"value":"W1998032456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1331925$EBFD5F63-B8EE-4B2E-8B78-908C84C860E4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"78296e26b3ae6866aa6457e77aa0a789c0969d64","datavalue":{"value":{"entity-type":"item","numeric-id":3862382,"id":"Q3862382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331925$7C9AC4A2-32A9-423E-92C5-399A8042AAB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7469a14c6b3d5214a08da9b6d9960375ad8bda98","datavalue":{"value":{"entity-type":"item","numeric-id":3898009,"id":"Q3898009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331925$452037A3-360F-4B2D-B83B-E3E48AF799E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331925$C6527108-8B31-4991-971E-A37F12589AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d944ecc279c28e7d775d140ace0c0ad1ecdd3183","datavalue":{"value":{"entity-type":"item","numeric-id":4036556,"id":"Q4036556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331925$A8C5F078-3A5D-4A97-8B2A-1AA5DDF0DDE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"144d0ad911d2a54c529298ac02c0ff721c2b984d","datavalue":{"value":{"entity-type":"item","numeric-id":5204356,"id":"Q5204356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331925$1DB96B25-BED0-4FFE-9214-89FF840AEC65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21ecd1ff3653c079baef04ed164c52723e8c739b","datavalue":{"value":{"entity-type":"item","numeric-id":3723676,"id":"Q3723676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331925$59FB7C84-4D28-461D-A9AD-4C5DBD3AC2B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331925$EC345C46-8E51-4043-9B87-89DBC710FF0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61a00cb2fe82ff8f03a9038d269192da73736cf6","datavalue":{"value":{"entity-type":"item","numeric-id":4733431,"id":"Q4733431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331925$2DD489E2-9D12-4883-B03D-C8A9C8E9538C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff9a0e3f0f2bb5379481e2506c1ed09265b0350","datavalue":{"value":{"entity-type":"item","numeric-id":3700812,"id":"Q3700812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331925$59FFE2A2-7EF7-4149-AB6C-F046A1963774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78b7dee6e7d17cf76652241ef534151263d94379","datavalue":{"value":{"entity-type":"item","numeric-id":5617313,"id":"Q5617313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331925$BB17D18C-5994-43A0-AF28-15FCD78E9FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a98806b17c2bbcd29d4513072d41db9b6317d23","datavalue":{"value":{"entity-type":"item","numeric-id":3681905,"id":"Q3681905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331925$DC9776B3-9F60-4866-893E-01BA3FC0C053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d21cbd0c791f083ee08a1e9e48b64281b87bb07","datavalue":{"value":{"entity-type":"item","numeric-id":3664404,"id":"Q3664404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1331925$F23E9385-2322-4D84-8331-0FD188A5EC13","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9494fc605e516d3e9fc4ebf304321c2280dfe330","datavalue":{"value":{"entity-type":"item","numeric-id":5204356,"id":"Q5204356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbab897a6d3e720dc80b67e0eef4e13e205a07dd","datavalue":{"value":{"amount":"+0.9999999","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1331925$D451E321-C983-4027-86EB-55722A70257C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f950e5b33fcfc79218782cdf6ca4323236d1e99c","datavalue":{"value":{"entity-type":"item","numeric-id":4383704,"id":"Q4383704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03427837cbbfdc25bc1522c37e7f3a7d9aec896b","datavalue":{"value":{"amount":"+0.9012398","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1331925$A9B770C2-FADC-459E-B1B6-7681C058E254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad398db2afedcb8e8060a47e83c032820b5a5656","datavalue":{"value":{"entity-type":"item","numeric-id":4364533,"id":"Q4364533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9319628e3e8a8de16f423d90e8e0dbb2812ad712","datavalue":{"value":{"amount":"+0.8987156","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1331925$099405C5-286E-4F76-9D51-C0257C873D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c75a2f09b2f7e8b4e417073c6127a7f856249356","datavalue":{"value":{"entity-type":"item","numeric-id":3823139,"id":"Q3823139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f5ba42cff59afb17c5587b209dbbc5fab6120e3","datavalue":{"value":{"amount":"+0.8868788","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1331925$5E13C520-5984-4F42-90FE-EBD8EAFC6CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cc6de2d2a2fb8c1506f599188a004cc863e5ba2","datavalue":{"value":{"entity-type":"item","numeric-id":5830893,"id":"Q5830893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"918a1d718e2cf0d40969e455f2020d5c2fab0f1e","datavalue":{"value":{"amount":"+0.8856178","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1331925$C44CE168-027B-4586-B545-2C2A45FAB03E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"760da3d7ae42c1a8a1a96154019c60b6269e8268","datavalue":{"value":{"entity-type":"item","numeric-id":2654965,"id":"Q2654965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72298d86af379c8639e390f888fbbd95c06e4cd2","datavalue":{"value":{"amount":"+0.8804364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1331925$C2524C69-7C09-478A-BC71-7C6B7C5D441C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07e2d5df3d9e9d71ec1b64a77a78bb0a27ac5d57","datavalue":{"value":{"entity-type":"item","numeric-id":749216,"id":"Q749216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"308ed78c7b243a008fa594d09aeb1ecd74f0d95e","datavalue":{"value":{"amount":"+0.8699231","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1331925$F56879F9-9CFD-4DCF-AF97-32BD803AA68B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f88ac5eb2ad5b6a7b1adf142a7019bb2b6c44473","datavalue":{"value":{"entity-type":"item","numeric-id":1111007,"id":"Q1111007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"362d06e4d43a874606f9483b583704e0499c05bf","datavalue":{"value":{"amount":"+0.86770654","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1331925$B89103D5-9D7D-423B-BA30-E983C0C7429A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"003e1b828cba2f17bbd1982673e086ad8f3b6c2d","datavalue":{"value":{"entity-type":"item","numeric-id":3706480,"id":"Q3706480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2efe119e8561d9dc78dc9d538599728c56d159c2","datavalue":{"value":{"amount":"+0.8644898","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1331925$E3C9D06C-6D25-4713-9AC8-409AFDC84758","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Program composition via unification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Program_composition_via_unification"}}}}}