{"entities":{"Q938300":{"pageid":940148,"ns":120,"title":"Item:Q938300","lastrevid":65490597,"modified":"2026-04-12T02:57:52Z","type":"item","id":"Q938300","labels":{"en":{"language":"en","value":"Inference rules for proving the equivalence of recursive procedures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5313103"}},"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":"Q938300$515C35AC-E3F0-4A8D-9D3E-CA255829C74C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"04dbabf38ba1baf3d6ef0b0809f0d20cbe44c3f2","datavalue":{"value":{"text":"Inference rules for proving the equivalence of recursive procedures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q938300$D0CD7B3A-FA4C-47E9-8C37-64154F3A680D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ee72ee12cd78f578ae755660b0b39aeae51fe27","datavalue":{"value":"1161.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q938300$6481DC97-CA9F-4C4F-9184-84CE7CA9597E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c992e3f42389983a228ff962d4b6d49cdf5c1eb","datavalue":{"value":{"entity-type":"item","numeric-id":938299,"id":"Q938299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938300$B90A40CF-FC98-4690-8DEC-A50E6828614E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"521ea2cb6a301fe9f22d88a2561e7746fdb48379","datavalue":{"value":{"entity-type":"item","numeric-id":246145,"id":"Q246145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938300$C5147E32-AE36-4737-9CCE-010B43450609","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938300$351A08DD-0E80-4DF2-ACBE-1D0012A3BB64","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"368aedbbcdb07b61d4f2acae84ab7ae3e3751f97","datavalue":{"value":{"time":"+2008-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q938300$9DC21D35-1E99-4CBE-9BA9-BC3361BAA7B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q938300$B6BE6B10-6366-4BED-B3C0-F3F1C63CD2EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2ba76c968dfdf2b191cc5fab6846d640d1b9bf1","datavalue":{"value":"5313103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q938300$8393EF0C-BDCA-45BF-8EA7-1119F3EF97A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c29b3d128bcdb15f80ef64ca58f983da34d6fed2","datavalue":{"value":"Hoare's rule for recursive procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q938300$57BB8CA1-1878-4258-B06D-477A1E1080CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3719ed41893672db063f7cdecb5bcd68172db4a4","datavalue":{"value":"proof rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q938300$BDB77675-8CB3-4EF6-86AC-CDDC75D5CD4F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938300$03D32E96-F6F5-40DB-9B3E-58182622F368","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":"Q938300$9478BA9C-485E-4242-9A07-73C8C591381D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac61cd0599852bc80d04de65442f1423b746026d","datavalue":{"value":"https://doi.org/10.1007/s00236-008-0075-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q938300$9AD52797-FCFA-45EB-903E-F711806532EE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e04a02b1ada3d1dfbf6663f30f86dba43628d9e","datavalue":{"value":"W2039222548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q938300$B88EB1CD-C711-429C-9D4A-1620028DC3B7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1032ac8dcdfdd5fb52810d5d96415ba95297eec4","datavalue":{"value":{"entity-type":"item","numeric-id":5716558,"id":"Q5716558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938300$B861890D-3245-43DE-8815-60ADE2C312EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a3832b0c7d5dbd4a20b3b3c5eae088a1374ce93","datavalue":{"value":{"entity-type":"item","numeric-id":4708513,"id":"Q4708513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938300$446E36F6-3C24-48AA-8836-9343892C0602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27a1524e69f50a2385696a05b0517bee6d32e1d4","datavalue":{"value":{"entity-type":"item","numeric-id":4003356,"id":"Q4003356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938300$467B435E-FCE5-4C07-9D00-F9AD0F4D8317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5afde341e35903811a19e6223528d6898a49b5b4","datavalue":{"value":{"entity-type":"item","numeric-id":2543556,"id":"Q2543556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938300$EB16D4B1-4B92-47FE-8CC7-8C87EDB5BC19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb859fc691841d164dc83bc674b45469dcd4763b","datavalue":{"value":{"entity-type":"item","numeric-id":851144,"id":"Q851144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938300$C5C92431-FBA7-487C-ADD6-B163D01049BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d09db88e7db8de8a699f35dd014c509760be4233","datavalue":{"value":{"entity-type":"item","numeric-id":4157961,"id":"Q4157961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938300$8CC697F8-4001-4708-B767-516CD8FFC494","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95d4fa227e6fb872d1c4dc8efa04745cb23e83ec","datavalue":{"value":"10.1007/S00236-008-0075-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q938300$381AB911-1097-40D3-A4EB-58C3C225F584","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71a60eb932c8557a8d9a340978cb9b5879fec5a1","datavalue":{"value":{"entity-type":"item","numeric-id":3587255,"id":"Q3587255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d55051889133791ea70cd8e71ec9edd90a4ef516","datavalue":{"value":{"amount":"+0.9680297374725342","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":"Q938300$47DD9DE4-A695-4448-A854-FEB79E60880B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acaaea0cc3fa6a8d30716da35caf95fad192a27c","datavalue":{"value":{"entity-type":"item","numeric-id":1329196,"id":"Q1329196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ce63fe1c915bbc203c9e873e556667a6f05b019","datavalue":{"value":{"amount":"+0.8041025996208191","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":"Q938300$A899F079-C639-407C-B587-0BD6E245A926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dda8ff4b37305d49c5279505db4bfb960d46a96","datavalue":{"value":{"entity-type":"item","numeric-id":3221385,"id":"Q3221385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9e6c8f3ee2c8ed1e3c497a1295d486f6d80ee31","datavalue":{"value":{"amount":"+0.800868034362793","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":"Q938300$82FAEB1E-5A58-4B9D-BDA2-0A1CA5CD20F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a18478b8024b0955b5f874bf63825d41b6bb2d6","datavalue":{"value":{"entity-type":"item","numeric-id":3685159,"id":"Q3685159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d39d2f86c3b7256eb41004ccc8c90c16fb3d2e1","datavalue":{"value":{"amount":"+0.7937860488891602","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":"Q938300$AB95BAB6-4444-4A61-98DF-EC303341CD5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"556f3662f45654fa3b1befbfb584f092348d9030","datavalue":{"value":{"entity-type":"item","numeric-id":1065535,"id":"Q1065535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c78bff5afaf7a17d8e65d41ff2f01e6e88484523","datavalue":{"value":{"amount":"+0.7753129005432129","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":"Q938300$15744CAC-ABB2-41B7-BCE7-13BA4B2B4200","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inference rules for proving the equivalence of recursive procedures","badges":[]}}}}}