{"entities":{"Q1823668":{"pageid":1834410,"ns":120,"title":"Item:Q1823668","lastrevid":49309588,"modified":"2026-01-06T22:50:11Z","type":"item","id":"Q1823668","labels":{"en":{"language":"en","value":"TERM: A parallel executable graph reduction machine for equational language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4115941"}},"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":"Q1823668$B1822C83-87A3-4806-8E35-0FD6424D9B66","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81515f22aac7614384fd88bdc9e3d9df324cb609","datavalue":{"value":{"text":"TERM: A parallel executable graph reduction machine for equational language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1823668$21BA5564-3DDB-4173-98FE-32FFB504B67F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86bb31a478a3f74c03c3b7ca3cf95a383b7179cc","datavalue":{"value":"0681.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823668$68D84038-2A9D-4C6B-9E96-AFE8BC15B381","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b8939a61e0bb2fa1d88dd9f9aec6ae0b9f84d625","datavalue":{"value":"10.1016/0167-8191(89)90060-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823668$6CBE23B6-A391-4884-9A03-CFE5A7C1254F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb51fe5f2d1d7916ee38d87a8c45cb1b2d057598","datavalue":{"value":{"entity-type":"item","numeric-id":1823664,"id":"Q1823664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823668$1E46C419-0EC9-4C3C-A78A-92AC993A8C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9024a463556eac74c97f31f48e821c0770b26a0","datavalue":{"value":{"entity-type":"item","numeric-id":1823665,"id":"Q1823665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823668$56D38871-215D-4C7E-B235-1DF8BD7C4511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"68ce80d0267fa126ed95f72b2ccb6fcf8e23891a","datavalue":{"value":{"entity-type":"item","numeric-id":1082793,"id":"Q1082793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823668$BB9564DF-C9EC-44FE-9000-C19B09B34E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c24d989e4970f6b3f589016073458f6de9c71000","datavalue":{"value":{"entity-type":"item","numeric-id":1823666,"id":"Q1823666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823668$934A7FFF-81A7-41AF-A666-8A03F57B59C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79cf9b98435298a8c7eb15e9987840a8f4ce2a19","datavalue":{"value":{"entity-type":"item","numeric-id":1682464,"id":"Q1682464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823668$2A962FE0-6AD8-4DB1-BCA3-05324CDF5777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7bb3270fd587e5566f37a0a565ade85c84dbcaf","datavalue":{"value":{"entity-type":"item","numeric-id":1823667,"id":"Q1823667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823668$9B740C4B-5199-49A3-82CD-07D42EAEF277","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eeac13f60c55bdb04ecb49274cc7b24a1688345d","datavalue":{"value":{"entity-type":"item","numeric-id":71527,"id":"Q71527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823668$0D35329F-81DE-4EB0-94A7-12D28093D152","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1823668$D7B79825-C916-456F-9DF5-D3987C9DB2B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823668$E7BD2F25-978F-414D-911C-DD353D0B98C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823668$D922B57F-2D5E-4291-953C-8EFB7A44B868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823668$0FE6F2FC-B733-4BE1-88B5-67CE750C1C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823668$1073A2A0-97E7-4265-971A-85B9B4FB7376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823668$EEBC30CF-7294-4BE1-B00C-99DB0581D7E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f8ff9854d2dbd6f356bb9c17bf9afe7a51ca43a","datavalue":{"value":"4115941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823668$EA6B3D58-1AAC-4AA4-8CA7-961CEC9CCFD4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61f7f756006e7c70136f6812fe0eff4193aa5bba","datavalue":{"value":"graph reduction machine TERM","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823668$45071E86-DC7B-4D3F-868A-8DBE479C3C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4109752ad3b4e4d441a519921b316a16baa15625","datavalue":{"value":"implementation features of TERM","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823668$DD5B8B80-9945-4FDE-82E8-A23B4AE554A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ecf1d35d489ab5342e7f35c5eae6c01d4db20e4","datavalue":{"value":"parallel execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823668$39DF189E-E608-47FA-BEA9-C310C96792AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b2769b09bc8bbb0ebe20a38331a235f0c48ce78","datavalue":{"value":"equational language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823668$A98F54A7-E81B-466B-81F4-AF6B61D40FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8a95f3dc3848f1956abf1d7765c9a232f4e3cc1","datavalue":{"value":"non-procedural language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823668$BD944D41-278C-4AF0-BB97-1439FF60F4FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823668$BB799895-D3ED-4E7B-AC4C-8C12F8DBDF3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a6c192e1b2a22bdfbf62e3c2d8d122bf9770822","datavalue":{"value":"computational model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823668$C761623A-C2CD-4508-BBE9-71FA61A9CCC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41dc2a0fde63542f165b5080b4241cf5442c1714","datavalue":{"value":"CCM","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823668$4FCC8D26-45D5-4883-8BB5-F72B362E4967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a19f37c5edc797d9b063d27984ad85f3065ecf21","datavalue":{"value":"Congruence Closure Method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823668$3B14A926-CAAA-46EE-AB01-735F3F1075D0","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":"Q1823668$493AD14F-ABC3-44EE-9C20-EB505FFB7D26","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f059ca809895aed27e2475cf57ed3717e9f9a52d","datavalue":{"value":"https://doi.org/10.1016/0167-8191(89)90060-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1823668$A4D154F0-CE48-4148-80F0-FE374EC318AC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c50adc56edb43a2a313f8949130e667208a1a31","datavalue":{"value":"W2094122760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823668$6B8678E3-D24B-4ECA-8A2A-07959277C240","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfbb74e2d50f718ddf6f8d3aa970cceda8af0dec","datavalue":{"value":{"entity-type":"item","numeric-id":4025927,"id":"Q4025927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"131c304611a47b10c72662ad119090771f1a3cf4","datavalue":{"value":{"amount":"+0.7704055309295654","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":"Q1823668$0FD53B32-2ED9-4AB0-BEA7-4843FF321376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6ac45a45ffc79afd24ee209f7d83a8e3fa50480","datavalue":{"value":{"entity-type":"item","numeric-id":3813282,"id":"Q3813282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26a893805772ba6a876c818957939096f514e2c0","datavalue":{"value":{"amount":"+0.7599881887435913","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":"Q1823668$C6E1FDA7-F3F3-48B9-A907-1CC604795B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9d794c7348ab0562d7792754977cbf80b636422","datavalue":{"value":{"entity-type":"item","numeric-id":3782745,"id":"Q3782745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc2df4755fbfa395acab21fac6877da12fd0fd21","datavalue":{"value":{"amount":"+0.7535849213600159","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":"Q1823668$80260FE7-8D3B-441C-A9FB-33753F98D8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce9e1f816a9c4455763cb7e2b23f77cc1ea3e671","datavalue":{"value":{"entity-type":"item","numeric-id":5890053,"id":"Q5890053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bd2e71eda77e8696369e75da39db7f1894217f3","datavalue":{"value":{"amount":"+0.7355494499206543","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":"Q1823668$6541E85E-8B5C-4BA7-85C2-63DA5AD565AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbbeef8669d2cbd89ab3a988f9d76fd886688334","datavalue":{"value":{"entity-type":"item","numeric-id":3776590,"id":"Q3776590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"625781454e3462388b436de5ee87d95a2936aa11","datavalue":{"value":{"amount":"+0.7301122546195984","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":"Q1823668$EB5C8833-EE14-48AA-B7B6-13194185D19B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1823668","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1823668"}}}}}