{"entities":{"Q1104778":{"pageid":1115527,"ns":120,"title":"Item:Q1104778","lastrevid":49180300,"modified":"2026-01-06T17:31:58Z","type":"item","id":"Q1104778","labels":{"en":{"language":"en","value":"The programming system PRIZ"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4057056"}},"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":"Q1104778$F77822B4-B7A6-4C3C-AD4A-2522FE759693","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f0805adad46b036c0d09ab70c08f587d0080935","datavalue":{"value":{"text":"The programming system PRIZ","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1104778$1F0DFF46-60CE-4A0D-8915-04318D53EC9A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c1c27e03371078b53e60c340853305437efd462","datavalue":{"value":"0647.68098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104778$D4805BDC-DBC8-4BE3-8FF3-2132C14FC00F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"830f0bd6c495b2f0eff49a72b3c4608651c5a158","datavalue":{"value":"10.1016/S0747-7171(88)80035-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104778$7B820692-72BE-4F7D-9D2C-53F610862229","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104778$DF6D0538-9978-4521-9C61-4AE0496D87E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1104778$B947BD44-9B59-4236-95D1-09DA9157D546","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104778$4E6C51DB-C7C8-4E04-A201-A7EE94AD6AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104778$782F5592-84B0-4715-B992-B9A8B0CBFFBA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9c9fe309c775c546dc9c5639ec0320ec3bb81a3","datavalue":{"value":"4057056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104778$DB01C7EB-4420-4B41-83E7-6873E03E3168","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc699f19a13307d0596c4f724cede2350748af6d","datavalue":{"value":"programming system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104778$1B8981F3-7E81-4CC1-A49E-D84A08DBE00E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fe4df52ca795860785286ac8d5dc3f99dd061bf","datavalue":{"value":"automatic synthesis of programs from specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104778$1FD24046-0AFE-4B99-85F2-A6C3E810F7DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104778$6169A3F8-1D15-4768-8302-AB838F6165F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cce6361a061e84bf9cc623bbf819b3e602635a01","datavalue":{"value":"PRIZ","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104778$33D2D3BD-7276-44CD-B89C-EC93A250E1E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49622c6f787c79dde83ba52ff1928f43bda9592a","datavalue":{"value":"intuitionistic propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104778$33D2DFDA-3171-498D-B8CE-18CC0AF5EAF6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"739bb59f926e46bf270e3affee77bc2ef6969661","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104778$AEFAC351-40C6-41F5-9EBE-B8533A618EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44cae58b7b1ebd97a8ba1cdb3090f9e875e9f030","datavalue":{"value":{"entity-type":"item","numeric-id":1607555,"id":"Q1607555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104778$35A00A2B-5BE8-4E18-B584-00B5D02CE034","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":"Q1104778$F7311A4A-BF82-4028-A6BF-97CF54BAA115","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104778$C5821622-75CE-4E97-A268-2CF9A63589AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aba9e501d5aba2e4a55df28cb0b797cc91929ecd","datavalue":{"value":{"entity-type":"item","numeric-id":1051416,"id":"Q1051416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104778$B978A608-3961-4418-994A-3DA236764502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"945c2cf430684056f61fa9b04c258c8841e751ed","datavalue":{"value":{"entity-type":"item","numeric-id":3718146,"id":"Q3718146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104778$173D4126-F34E-4CE7-B0B3-F349B99E5456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82abf3d38d09bda7f32337f3218f2abd022827c6","datavalue":{"value":{"entity-type":"item","numeric-id":593788,"id":"Q593788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104778$9880CE26-BDD2-4C55-B4F8-D994CFC5F532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e682a07f00eb1b01b134e278c08548c81f3071d","datavalue":{"value":{"entity-type":"item","numeric-id":4747502,"id":"Q4747502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104778$84F070F0-39AD-46F5-86FF-1CAF0C983F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f31c53983c1a7e991cffc3a1b9fe552e4900d46d","datavalue":{"value":{"entity-type":"item","numeric-id":3730008,"id":"Q3730008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104778$157677D5-E5A6-4F04-91AA-F63636EDF128","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1f861cbedf8bf8d08d317f20fab6227edb3c199","datavalue":{"value":{"entity-type":"item","numeric-id":4560348,"id":"Q4560348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b242f90eb6234418c4f2f72a881d55c5c3ddfafa","datavalue":{"value":{"amount":"+0.9999992847442628","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":"Q1104778$70FBC0CE-4C35-41B3-8625-6DF19297F0C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02a0d28ce8ef9c06620f4a8b6fa8394ed5c9296f","datavalue":{"value":{"entity-type":"item","numeric-id":3718146,"id":"Q3718146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9c0d57ad22e486f8e4bf82282ab5e1229e80add","datavalue":{"value":{"amount":"+0.8242138028144836","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":"Q1104778$1B6F4DED-5AA2-4DC6-9F96-86238704C706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f63918e0abb7b5eb42ee7e93e2a6718b94984fcd","datavalue":{"value":{"entity-type":"item","numeric-id":3730008,"id":"Q3730008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ee2f7ba02fb8e70f78c2dc97d90ef3b0fc30274","datavalue":{"value":{"amount":"+0.8008763194084167","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":"Q1104778$0D4BC94A-977E-431B-83D8-45165FB5BEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0649c5168611d5e4754bfa13afee77547cda677","datavalue":{"value":{"entity-type":"item","numeric-id":3485877,"id":"Q3485877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6871e2b550a9447e95d31ada7be577433989a22","datavalue":{"value":{"amount":"+0.7924720048904419","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":"Q1104778$F601A855-9A79-4041-BA6A-5AE87900177B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14e9ed423d54a67a0a0a32fd37ce43ad338cf2d5","datavalue":{"value":{"entity-type":"item","numeric-id":3316619,"id":"Q3316619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b6bd8ce2efb7ff38ef4fde52cccc64654ded471","datavalue":{"value":{"amount":"+0.7901695966720581","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":"Q1104778$3E8A24A9-ECE1-4476-B942-D08021D04BE4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1104778","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1104778"}}}}}