{"entities":{"Q4037314":{"pageid":6067032,"ns":120,"title":"Item:Q4037314","lastrevid":55248943,"modified":"2026-02-05T07:38:25Z","type":"item","id":"Q4037314","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 177439"}},"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":"Q4037314$17BED4C0-CD2A-4443-B276-97BF40143BF8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7322e1b059f4f6361f0f90ec27190a6794bbb546","datavalue":{"value":"0765.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037314$8BD3EAA9-B9F6-4ECB-A1AC-E9A04CA55E17","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7932890ff79a7b196908702cdb1b3dc6a332d7d7","datavalue":{"value":{"entity-type":"item","numeric-id":171481,"id":"Q171481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037314$545E8EC5-D97D-421E-BD48-35EA0D8A03F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74f3d17dde2255cf0d5e0bd87a89e512588d50f0","datavalue":{"value":{"entity-type":"item","numeric-id":790605,"id":"Q790605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037314$87268154-CAA5-4FBB-ADDC-BB2D3629CEF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9688c2b4abadd78a444a878d8043fe5f73058cde","datavalue":{"value":{"entity-type":"item","numeric-id":1098319,"id":"Q1098319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037314$5B6E17B1-6EE7-4A10-AC54-B02BE85883FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abd8d5e490ea4daf6d00f9dd2f897565e059b6cc","datavalue":{"value":{"time":"+1993-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4037314$2CFAEB04-6198-43E7-A1A6-2D1F80469E0D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037314$3F94061A-D582-4158-8B2E-FC9203E23909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037314$DBEEE18D-A5F8-4CA0-9B37-26AF208CAF5F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89dfdcf3e6f0cfc7389f9271b17188e8ad4d8671","datavalue":{"value":"177439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037314$72DD71CE-46E9-4C75-807D-0E7663678080","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd59d671c70179e50aa218d3fbd15ae36808d8dd","datavalue":{"value":"Church-Rosser theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037314$01A2DF85-C1D6-468D-B796-318402470839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ab4b0f2d1660db548c533596db38e0c813b6560","datavalue":{"value":"parallelism theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037314$C2EC1060-C268-4726-A569-471E2BB75E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e39cc7b263a34ebcbfc3b70de9b3b0a8338f53ba","datavalue":{"value":"pushouts","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037314$A1411987-EEDE-4D11-BE94-6DE42D352E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10aada1bcebcea30af443e4c20bac92e26c0b2a7","datavalue":{"value":"graph grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037314$C61824CD-4C3E-4AD7-9573-3F55686BD076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ac14f158768607a8dba7dd5d190380282e85327","datavalue":{"value":"replacement systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037314$A8B26BB4-808D-406B-BAEF-5099C0BDD972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6483e93ff0b0b0a920caa3a8bcdc780bd2e5cf","datavalue":{"value":"algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037314$F2664AAB-AAB0-468B-8719-0E05FF5B4EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29f225847bebbbd70d61785ce4ab123db6af3778","datavalue":{"value":"categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037314$C5B981BC-C5B3-485C-889D-A31E46D44989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c881d4481001909fe816f0c4a9dd92474dcdcb7c","datavalue":{"value":"productions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037314$993FB13C-BC98-43F8-BE20-3D07269B1925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adb683cf0242ec4de6075b159e4eda87fcc8d67d","datavalue":{"value":"derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037314$B002F1F1-8A56-4998-A011-51986CF3EF8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8cec696c91305e17c4e6e89bd5fda6d322622be","datavalue":{"value":"sequential independence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037314$EFDC112B-2324-4DE0-B6EA-DE823963E7D0","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":"Q4037314$99E9024B-4478-460E-A2A9-DF594B789FD7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96b5ec8b2107408b635bb6b3296c879230678285","datavalue":{"value":{"entity-type":"item","numeric-id":4006236,"id":"Q4006236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76b932b3b229a13944836490e40ae390e9b8763a","datavalue":{"value":{"amount":"+0.914797306060791","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":"Q4037314$F28C1090-11C8-4479-8210-580549B11E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63ce3bf08b29e4927206f86a1e5497ea9a0ce8f1","datavalue":{"value":{"entity-type":"item","numeric-id":4645292,"id":"Q4645292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e06227c69014fd11199b1369241d4d474d0a3ba2","datavalue":{"value":{"amount":"+0.91424298286438","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":"Q4037314$C9F260DC-732D-46E6-960E-D8C1A1A41C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8d79d3eb884f4da6e2905f3320f61dc2fef6302","datavalue":{"value":{"entity-type":"item","numeric-id":4923535,"id":"Q4923535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0664969a3ea74dbdd99a46a340c8b90bc7fbd01","datavalue":{"value":{"amount":"+0.8936551809310913","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":"Q4037314$5F441E81-8596-4C8E-A122-BD4060AF09A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc0ad3c209b077c0c291f10a91be2bb4b0a21155","datavalue":{"value":{"entity-type":"item","numeric-id":1389763,"id":"Q1389763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68436126d2170e803ceddedf800f77cd743cc17c","datavalue":{"value":{"amount":"+0.8931436538696289","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":"Q4037314$2CF13CDD-3148-4898-92F2-1607C80F586A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc12ecb5992e2f07f855f3437ec4bda789848284","datavalue":{"value":{"entity-type":"item","numeric-id":5096280,"id":"Q5096280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c170237dd6bf952077f43a6349aab5f9f0ab2ef6","datavalue":{"value":{"amount":"+0.8890597224235535","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":"Q4037314$DDDAF758-C895-48BA-B575-57686C22ABCC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4037314","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4037314"}}}}}