{"entities":{"Q627121":{"pageid":628969,"ns":120,"title":"Item:Q627121","lastrevid":63174699,"modified":"2026-04-11T11:05:52Z","type":"item","id":"Q627121","labels":{"en":{"language":"en","value":"Coinduction for preordered algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5853773"}},"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":"Q627121$E14F7E08-A7A8-4D2D-AB81-86832EFB8ED5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5add1201f931127d5df416b0e78b743cb89d38c2","datavalue":{"value":{"text":"Coinduction for preordered algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q627121$674B4085-D835-443B-A66B-C061C5302AA7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3266f4d017a39605ebf818023a0c2e1ce6b1e80f","datavalue":{"value":"1206.68197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q627121$58A630F0-3A4A-4F99-961A-9D9B9C5B0899","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2289c57fe71d0e69841efc981491fa17b2cd3710","datavalue":{"value":{"entity-type":"item","numeric-id":344795,"id":"Q344795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627121$02C9E60A-4A92-41A1-BC44-4842CA31C4B4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627121$215E4C8A-67A4-49D6-9CE6-3B14E0D9B129","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a57a1d265a3ee40f730aaa4d5af28fb13b1a54e5","datavalue":{"value":{"time":"+2011-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q627121$75854EB1-740D-40FA-BA97-00695D70C34E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q627121$F26A102B-15D3-4E6C-8437-13691A5577F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38aee48432e59ed9e8ccae5f7035c1007ad97dc1","datavalue":{"value":"5853773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q627121$3CC84A8E-F174-4AF9-87AB-D1726B0E9D26","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q627121$A874425A-3580-43DA-84AE-62E570A3F0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca1a231e3b3cc441d78d2f6754d104dbd78e7a6d","datavalue":{"value":"behavioural specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q627121$2AFCD8AA-78DD-49AD-9FD2-77FDCBB0DFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53a32ce3e4511378ab8575c818171514fc9ff0c1","datavalue":{"value":"behavioural transition","type":"string"},"datatype":"string"},"type":"statement","id":"Q627121$B32D1B17-324B-4423-90F2-A78B35300192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5859b3636ca163794067eafdedae921af6a5ec4","datavalue":{"value":"preordered algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q627121$89452500-624D-4F9C-9EF2-D1DFCBDA699A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc7f3425c767fb96addc936173e1bb45d1b5886","datavalue":{"value":"hidden algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q627121$DC80834C-C30F-4075-BF8E-2BC23209FAA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302e7bd67d2646d1e0615c1195ca61ad56775360","datavalue":{"value":"rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q627121$9BB0996C-FC7B-43C7-82FE-284139361B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00a7e57898b4d2783fc5f37430bf0a6b3e6d83fe","datavalue":{"value":"heterogeneous specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q627121$C624A5D3-3A44-421F-8FBD-5B433A68A6B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9774ec536a335bf339af8b08118f8757f918204","datavalue":{"value":"CafeOBJ","type":"string"},"datatype":"string"},"type":"statement","id":"Q627121$A2E88645-9C30-4A20-A395-4B234CE885E5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627121$B20C16E3-2AA0-4822-A8C3-8623D35C80E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9cc08f1ee64c2fc0d984a8fe54c7c857eeb0cc4","datavalue":{"value":{"entity-type":"item","numeric-id":18366,"id":"Q18366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627121$6F5CC13F-F9F2-4388-8E60-D76B87DB1657","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":"Q627121$18F68D65-40AD-4C88-BF09-A86606258B5C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"356fb761d82748c9544bc586171950bf752f5845","datavalue":{"value":"https://doi.org/10.1016/j.ic.2010.11.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q627121$46B649B5-3C26-4508-B866-07A78E76ABAB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c4d2ec4065ece2ee96884ff23784bcdf35ab23b6","datavalue":{"value":"W2042019683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q627121$272EF549-68A8-4E07-BC86-55FE00C06998","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627121$96C26CBF-BF2E-4A30-90AF-988FE50A3393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58140cb8afbfd1e28d381fbe9968bc9f5b2e9afd","datavalue":{"value":{"entity-type":"item","numeric-id":4222853,"id":"Q4222853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627121$A7C3EA7D-27DE-46F1-86F7-CBD789B4ABAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e46aebc04c4ba0e79011f44184decc8d5c2923","datavalue":{"value":{"entity-type":"item","numeric-id":4520814,"id":"Q4520814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627121$32FA063F-297E-41DF-938A-A798F8FF0A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"151111f90b57cf604183cb1efbc63c64841eebe7","datavalue":{"value":{"entity-type":"item","numeric-id":1608919,"id":"Q1608919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627121$89C7C0F3-3104-4FC4-90E9-21B5B302F325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24aae03900dd3a194b137b848f2d183c9f767b98","datavalue":{"value":{"entity-type":"item","numeric-id":2469760,"id":"Q2469760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627121$13FDD193-0917-4742-B91B-6DA411D73A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60d41888243cfca281ea72041190167a6930872b","datavalue":{"value":{"entity-type":"item","numeric-id":4942101,"id":"Q4942101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627121$02B1A6E4-3020-47CA-B6AB-DEB601951DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c0b8cbc0550b2f8905e471ff15c76bfd64ad0a0","datavalue":{"value":{"entity-type":"item","numeric-id":1575735,"id":"Q1575735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627121$27737D01-F35D-48DB-AD79-FF4290F21F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3efc8113f0e87f554f42d06a30f2756a27c96675","datavalue":{"value":{"entity-type":"item","numeric-id":2369030,"id":"Q2369030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627121$6FCE1C53-2FEE-4277-A27F-6E789822CFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17794c4bc319199b07780fe8daa9724755f28e9","datavalue":{"value":{"entity-type":"item","numeric-id":4355684,"id":"Q4355684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627121$1B53F022-74CB-44C6-9D6C-333DA82A0D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627121$DBD51FE3-197E-4D07-840D-5A2828EBAB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13c8332b10186708c6708131542afb51481ba405","datavalue":{"value":{"entity-type":"item","numeric-id":3938468,"id":"Q3938468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627121$7D6D1689-4A80-41DC-95CB-C4FEFCAB1BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ba41f8ecd77f0632e922eba4a8dc824d5b88c3b","datavalue":{"value":{"entity-type":"item","numeric-id":3773301,"id":"Q3773301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627121$DD162003-7DD2-42D5-9953-91C55BA7F948","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dff92ea3b0d2d778e57fdf6a6cd199b09e52fa32","datavalue":{"value":"10.1016/J.IC.2010.11.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q627121$920CB908-3B67-48F6-9A03-AE7D1C946EA3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d34d936350a5e1f0f7e385bbdcf87cd141473cc6","datavalue":{"value":{"entity-type":"item","numeric-id":4520814,"id":"Q4520814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"971d70c2953456f323e2cf6e7193843fa73a97f2","datavalue":{"value":{"amount":"+0.8055546879768372","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":"Q627121$15D3543E-5847-426B-B02C-4A90EF8B8121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84e1aaa0be958fe715be1b4b00dc87503e5eaecb","datavalue":{"value":{"entity-type":"item","numeric-id":4261314,"id":"Q4261314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba323ebdf7724527b954e8ba9479c31232de3b5c","datavalue":{"value":{"amount":"+0.7684452533721924","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":"Q627121$15F89D58-8697-4B92-A8CD-F211715ED512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e305b0d9fb09f19d8dfef599bd7702e42ec58dd4","datavalue":{"value":{"entity-type":"item","numeric-id":4503915,"id":"Q4503915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a4a2a54e4da4e9852474dcc4a8728e5b473b645","datavalue":{"value":{"amount":"+0.7576243877410889","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":"Q627121$7C3005B6-1920-4FA6-B476-667E25793C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c170b1d92457678f4e37509b3526b3f96c482d51","datavalue":{"value":{"entity-type":"item","numeric-id":5941157,"id":"Q5941157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bfd204e1833f7addc72471b3c5a555d6349501e","datavalue":{"value":{"amount":"+0.7422282695770264","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":"Q627121$E6983F8F-50B6-4B30-B75D-8DE2137442FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06af60afd19e0245907a0e13bbb18ded93524e17","datavalue":{"value":{"entity-type":"item","numeric-id":4941926,"id":"Q4941926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2516f8fc1dce131fd3dd3ef29af016808b700962","datavalue":{"value":{"amount":"+0.7383604645729065","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":"Q627121$908F2D3C-6BCF-4DD0-B0A4-7CAB04E1A27A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coinduction for preordered algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Coinduction_for_preordered_algebra"}}}}}