{"entities":{"Q5044723":{"pageid":7074300,"ns":120,"title":"Item:Q5044723","lastrevid":54433787,"modified":"2026-01-26T19:44:51Z","type":"item","id":"Q5044723","labels":{"en":{"language":"en","value":"Proving ground confluence and inductive validity in constructor based equational specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7611254"}},"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":"Q5044723$B32D1331-AE56-4CFA-9684-DE8823D9D416","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e87905575750792c67652e1762e5c88d58c1e7b","datavalue":{"value":{"text":"Proving ground confluence and inductive validity in constructor based equational specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5044723$E9D32B5E-FAA1-4B96-BE34-E563AFA031EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96623fab406dceea43d447481bce1789a99f2100","datavalue":{"value":"1497.68286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044723$D7C5B4C8-2A16-4AB7-B4F7-E8C7D17F9809","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb6c28cf854541fc8db8adeea41917c25e6952b2","datavalue":{"value":"10.1007/3-540-56610-4_55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044723$D8069268-DB51-4092-B031-9749BCF66628","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2437f7e04b4725b6a7b434b5d2125a560d7eb6e","datavalue":{"value":{"entity-type":"item","numeric-id":880194,"id":"Q880194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044723$BE340E4C-9CB3-442C-834C-C7FAED92A3AD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044723$C2A1A27C-1E4D-4A47-B836-868841712FBE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"965dccc7e527e2e46ab67b03737c8d96f54b00aa","datavalue":{"value":{"time":"+2022-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5044723$617FDC6D-6A04-4135-9F42-327F72BEF5CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044723$FAC5C6B6-692D-4CE8-BC38-9F363D5FB72F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044723$4243686F-BCCE-4E79-9057-7FD2BA60D816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044723$66A761C9-4BAD-47C1-A211-2769B852F3B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af6f9383932b5d40e33d46f3b3199d947ae73be1","datavalue":{"value":"7611254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044723$3868D848-FBF3-49B9-8DFB-2E42879F3B7D","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":"Q5044723$D2A6A17A-0A53-4AB7-AD5D-D5F48C3DA992","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf94408fe894ad9bbe0a7434830206cb4b1dbf04","datavalue":{"value":"https://doi.org/10.1007/3-540-56610-4_55","type":"string"},"datatype":"url"},"type":"statement","id":"Q5044723$A3D8E4B3-A96F-4038-813C-F71126073994","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"576c0361878f132cddc3290ae26cbbb122a9d90e","datavalue":{"value":"W1596501052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044723$4DDC3D7F-35D1-4773-A293-9C100FB9BFE4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"12497fdae374ac242dec7bb1c2b395122e295456","datavalue":{"value":{"entity-type":"item","numeric-id":3995129,"id":"Q3995129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044723$90C9D420-5E4E-4FE8-A861-22F3958BA911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044723$037B9F9B-3FD3-40B0-941B-F22C590B8927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab8ea372caa817f188e4e943a4cbc2ab55cc9d12","datavalue":{"value":{"entity-type":"item","numeric-id":5549412,"id":"Q5549412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044723$3447DB67-4CD8-4665-BF01-20DEE24F789D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdeb57f4e5d37efa40bca3185df7185c3f2accb6","datavalue":{"value":{"entity-type":"item","numeric-id":789177,"id":"Q789177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044723$E7A13AC5-CBFE-4FA4-95E3-CCB7E2C183C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d193db1dd3133502e92bbe1b8d3f7f242182b64c","datavalue":{"value":{"entity-type":"item","numeric-id":4430308,"id":"Q4430308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044723$2CDF2657-6412-4E58-9E01-C371DAC4A8B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b989303c3f01780ec3752ac791fe5233d16a37b4","datavalue":{"value":{"entity-type":"item","numeric-id":1094888,"id":"Q1094888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044723$03C7DC9D-1EE1-4B2A-B833-CB40F79546C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13b7d31e58c7507203cbbccf857b418e8e5f66a","datavalue":{"value":{"entity-type":"item","numeric-id":1077161,"id":"Q1077161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044723$B5B9D171-3507-4CEA-BA0F-246690F3BA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03daacb77e78cc082b4e44225e4d269536dd1b94","datavalue":{"value":{"entity-type":"item","numeric-id":758216,"id":"Q758216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044723$5AC5ED2A-42BC-4868-A58B-91BF26D09C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ffcdb6809d7206633a782158c40b3eb602629cf","datavalue":{"value":{"entity-type":"item","numeric-id":4246727,"id":"Q4246727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044723$1AEE9F22-B0C6-4D13-84A5-F0918D721F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04bc46285c285bd5587f7f8b9ae32dc8b1cab95a","datavalue":{"value":{"entity-type":"item","numeric-id":1824412,"id":"Q1824412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044723$6156B7B5-BF1B-4118-AC8A-E281B19DDD76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d03a1c424bcaeb63f633ac851296a587c7c9dd","datavalue":{"value":{"entity-type":"item","numeric-id":3732980,"id":"Q3732980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044723$2E5C4ACE-ACB9-4356-907A-37CD314426B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26daccb6687daa0ac0fcf31afabdbad626e0947e","datavalue":{"value":{"entity-type":"item","numeric-id":5210769,"id":"Q5210769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6167e980f36b2d114a8837ee25f901f7ddd69b52","datavalue":{"value":{"amount":"+0.8016279935836792","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":"Q5044723$A9E5A6E5-1F1B-4943-8F55-D20AAC88A76F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed7d1c79c5d9622e1eeadc1aaf2b3855954e4971","datavalue":{"value":{"entity-type":"item","numeric-id":1824382,"id":"Q1824382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"135ce50d1d450c2b476786a639953b9ebdb4111b","datavalue":{"value":{"amount":"+0.7818360328674316","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":"Q5044723$6FC397D0-0897-4319-A936-37E2E4AA27BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5bd0fa66fd9009baaa2529908f98e3f28360a72","datavalue":{"value":{"entity-type":"item","numeric-id":5055713,"id":"Q5055713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef9c17fc4e05016edc1ea493de9cd7245b5b4dc5","datavalue":{"value":{"amount":"+0.7733787894248962","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":"Q5044723$5C8BAFA8-5EB9-40AF-9345-DA222BF468B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2183833d3a25badb3439440a8ec02ed0a3cad633","datavalue":{"value":{"entity-type":"item","numeric-id":5369498,"id":"Q5369498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db76e28b81b1dedf410a97da3886efd1170e0c80","datavalue":{"value":{"amount":"+0.7698776721954346","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":"Q5044723$F21C1B28-3A9F-45AB-8214-F181760BE8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f12141e2aa877229e96e51c0f331873e7688e14b","datavalue":{"value":{"entity-type":"item","numeric-id":1094888,"id":"Q1094888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de271124242cb347ee67804769bc3abaae6617d1","datavalue":{"value":{"amount":"+0.768779456615448","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":"Q5044723$A1B98D8B-D182-4702-81EF-15563AECD68E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5044723","badges":[]}}}}}