{"entities":{"Q4645811":{"pageid":6675392,"ns":120,"title":"Item:Q4645811","lastrevid":53316986,"modified":"2026-01-24T17:31:20Z","type":"item","id":"Q4645811","labels":{"en":{"language":"en","value":"Development closed critical pairs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7000089"}},"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":"Q4645811$66EE6207-246E-4E90-95C9-716B9B920D5F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78cb4c954e3008b6a053a8a3647a0628b84757e0","datavalue":{"value":{"text":"Development closed critical pairs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4645811$B15274A8-B1E4-4F34-8C76-4E3D1C4DC92B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7cc0b7eea3050fb5411c623189828c88155cec31","datavalue":{"value":"1407.68244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645811$998CB29F-388D-4CD7-8DCB-D931D9636653","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"040c86176b0875175a2b7963a8df8d98c44a3c25","datavalue":{"value":"10.1007/3-540-61254-8_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645811$69485A7B-3A84-4CD1-B902-9F16E0E7B863","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffcfcb916fba8752861956ae08fe432761393974","datavalue":{"value":{"entity-type":"item","numeric-id":549185,"id":"Q549185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645811$7BD75943-68D8-4D14-AE83-E8E871B34408","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f4e0f8e524361885297eed7490a40202225a697e","datavalue":{"value":{"entity-type":"item","numeric-id":4645800,"id":"Q4645800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645811$AB0A759B-1FD2-4BE6-9E89-639D4EEBF277","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c0a1786c627d23fd7437b6a14326c56be749770","datavalue":{"value":{"time":"+2019-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4645811$8E7AB33D-4F05-4D1C-A775-3E36A78EEFB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645811$CA459820-6F05-47F1-8266-1A0D4EC3FB24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645811$93B47F25-CCE6-4117-80E1-2CF70D5D865F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ccfbdb8f51d95cc3400bdf19d8f2f7d0e29c1e82","datavalue":{"value":"7000089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645811$EC2E0AFD-EA76-423A-85CA-563438281803","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb3ae69788226feca6ae8044c1c7a9062ebff252","datavalue":{"value":"function symbol","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645811$48B530B0-808E-4CEF-9F26-3E80DF9CC3D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3b763184442b00f14251a5fb0068cd8bdbc9c58","datavalue":{"value":"development step","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645811$BBCA2A65-DCF7-47DD-93EC-4ECCD239A844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"840232c250b1e1458d71cfdc7fbe467b8d493361","datavalue":{"value":"critical pair","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645811$E9E4EA24-A7F1-4B36-8AA4-DA83DE4E719C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645811$9AE6813E-997D-4D92-817B-6C45ED4B404A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cc0d46b2efc07a6aeffb1b87814811b0f0c8ccb","datavalue":{"value":"critical intersection","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645811$65E04DB4-D43D-4605-AD43-B4E4467DB464","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":"Q4645811$992887B3-27A3-487F-96CA-5929A8AE502B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bce7704566e905ce1af9f0b66e5fabdc99e91ae1","datavalue":{"value":"https://doi.org/10.1007/3-540-61254-8_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q4645811$138D62BE-D16C-4AEF-B9AF-3D0E55E4C8D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"214d56578ebf3c0f3e36f5d472dc904d01940823","datavalue":{"value":"W1761458962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645811$8AB73864-8984-4C98-9D96-273DD2802FF0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bc50e2f4d2cceaac2ab96d0b4ab028848b7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4023900,"id":"Q4023900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645811$7A99E8B6-EB5D-40E6-AEC8-F03E64BA4502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645811$555E234A-38A9-4BAB-A6CF-E1A13250B8BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10f0eac645b1cadfadfdaf0e383a7317ed193110","datavalue":{"value":{"entity-type":"item","numeric-id":684571,"id":"Q684571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645811$D054F7E7-AC62-460C-9813-8F950ED974E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"107eec03b6587e73479808a48d1286903f6903fa","datavalue":{"value":{"entity-type":"item","numeric-id":5763294,"id":"Q5763294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645811$80351ADC-6031-4DE2-8F51-6FA7D3656DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645811$0CCDB59E-875B-4159-BACE-4DFDFFCFCA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645811$D64B1C10-405E-41C1-BF9D-CC38A97D2C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a550204b4fc9eb077df82e95f8c42f6d0c6fa7c3","datavalue":{"value":{"entity-type":"item","numeric-id":4764621,"id":"Q4764621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645811$77640085-2580-4925-9B01-793F65A0CB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fef2c2f0fb3ac5acc9558ffce71095e022bfdc1","datavalue":{"value":{"entity-type":"item","numeric-id":3356291,"id":"Q3356291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645811$0BDE96D9-AAD0-4BEA-8D22-CAC0DEBDC3F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76c55bcf6bd96c7c0d1e18adaf78c1df52ed3b03","datavalue":{"value":{"entity-type":"item","numeric-id":1309366,"id":"Q1309366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645811$C9A537E0-1501-4DCD-839A-BED12B41B710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645811$B953C861-3B1F-477B-88CE-48E1B39763E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eec66fa64dfef8f56381c0991953e048ebc1437b","datavalue":{"value":{"entity-type":"item","numeric-id":3999156,"id":"Q3999156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645811$EDCDD4A4-70F6-412A-86F1-42B1B4454F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c527e263525faa34ac4a72501bf8563b41ad015a","datavalue":{"value":{"entity-type":"item","numeric-id":4297316,"id":"Q4297316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645811$5B63E833-ED52-4170-915B-B10D6596C34E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e12a81eacd6b45bc4b4689eee451512cadf31d","datavalue":{"value":{"entity-type":"item","numeric-id":3985547,"id":"Q3985547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645811$B4E7E4EF-5D6D-44EF-A4E7-88697F1D4DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3671c04a28b3c6321772a8c859c51ac112c8b4d","datavalue":{"value":{"entity-type":"item","numeric-id":1127334,"id":"Q1127334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645811$8FD2EE64-5955-4FC4-8C5F-A548058667C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"626360b19484c605a96c967a546d1aee007f849d","datavalue":{"value":{"entity-type":"item","numeric-id":4281481,"id":"Q4281481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645811$30D3215E-2544-45B1-B328-55D13083EF5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de387b474a5e7630b2d32a58f2ca9248ae0f8e21","datavalue":{"value":{"entity-type":"item","numeric-id":1322164,"id":"Q1322164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645811$35CA20C7-0CD8-4895-9ACC-33F4E3E2B2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"212a413d72385fbce7e63ede411ad18800925449","datavalue":{"value":{"entity-type":"item","numeric-id":4501166,"id":"Q4501166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645811$00422091-E8CA-442F-A70D-F1AACBF2DD4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"059c9ac31cbc0bf78207fb28eb9dadf727c7fc12","datavalue":{"value":{"entity-type":"item","numeric-id":4229811,"id":"Q4229811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645811$7B65C4EF-0909-49BD-8E1A-3D7CDF8911C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cf342fddd58fb44da44d430a6ce43a05ffd194d","datavalue":{"value":{"entity-type":"item","numeric-id":5055793,"id":"Q5055793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645811$E34C1574-90A4-4D9C-8F2D-063B70C9DC59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d04e62816ec7fbcd2e017b8da04b781fb47159d1","datavalue":{"value":{"entity-type":"item","numeric-id":5053003,"id":"Q5053003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645811$D966E76F-3029-436D-A1E3-E0DD68F13FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ffc2be128e31683affc5fc5c3859e56e03338f","datavalue":{"value":{"entity-type":"item","numeric-id":4281488,"id":"Q4281488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645811$5AD5A7ED-FDC2-4F79-926A-7580A7C156CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00912eec06d4f9baae512236a9b80f68a52ee40b","datavalue":{"value":{"entity-type":"item","numeric-id":3830525,"id":"Q3830525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645811$5AC53EBD-CEFE-49D3-8DE5-653A0F5FEAED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c954e2d2900d31b8470142a3e3a594c0cee1594c","datavalue":{"value":{"entity-type":"item","numeric-id":1392147,"id":"Q1392147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec84fa8810d54f8127bc86315425f58f076cd2b6","datavalue":{"value":{"amount":"+0.8905539512634277","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":"Q4645811$E81F04C6-FA06-4A5E-9432-3A2D0002A40D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"237588a6fe4edd6b90ac6a947a7aeb658914a7b6","datavalue":{"value":{"entity-type":"item","numeric-id":4281481,"id":"Q4281481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54aaaa33fd348d3b5da4de52ebb97249413aaac3","datavalue":{"value":{"amount":"+0.806131899356842","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":"Q4645811$EAF46067-E5E0-4EE7-9445-E6EBB0CC5E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3554cbc968ede15ba82556586662cab5a82a7f2","datavalue":{"value":{"entity-type":"item","numeric-id":4594227,"id":"Q4594227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d440f2dfa615152ca5459fa3fbae949328dd762","datavalue":{"value":{"amount":"+0.804847002029419","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":"Q4645811$DE5F9B20-8008-4255-B97B-DDDEDA5F3B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8bb2b71c5f7189080920e83114779a9d849ec44","datavalue":{"value":{"entity-type":"item","numeric-id":5055793,"id":"Q5055793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7269e8c4fd0772bb7313b485503c0ae53f3802eb","datavalue":{"value":{"amount":"+0.8013952970504761","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":"Q4645811$565AD423-EF9E-46D0-888A-8AB5192D7CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2be066d53dcbb67208eeffb1dda4a439a772e4f9","datavalue":{"value":{"entity-type":"item","numeric-id":5432343,"id":"Q5432343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd288c0599aefa3c0afd6eba7ddcede07e2103a9","datavalue":{"value":{"amount":"+0.8012357950210571","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":"Q4645811$0F52BD0D-AA1F-4EF4-80BA-73E7CDE01A7E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4645811","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4645811"}}}}}