{"entities":{"Q4362921":{"pageid":6392520,"ns":120,"title":"Item:Q4362921","lastrevid":46489365,"modified":"2025-12-24T21:52:39Z","type":"item","id":"Q4362921","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1086671"}},"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":"Q4362921$E5B6CF07-8A08-4F11-91D2-9E1B156698BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43caf491ebda6e93f8bcac5ed53ebc575e4aa88a","datavalue":{"value":"0882.03064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362921$E446CC3E-69D8-4E2C-96D5-EE31147AE822","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60a24674fc3fdfdb20ce395c4f54c3ddf31dbed4","datavalue":{"value":{"entity-type":"item","numeric-id":283763,"id":"Q283763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4362921$24B17066-6B5C-425A-AE5F-290EF31DBB7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"56fb68e26c00ca3de62d663b22cb33aa78cdb501","datavalue":{"value":{"entity-type":"item","numeric-id":1223390,"id":"Q1223390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4362921$A44336A8-3165-4536-81FE-F3AFAD31DDAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a25635c340656bd7c7bb911f1494199e5379f0c","datavalue":{"value":{"time":"+1997-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4362921$E14B61EB-BDDE-4B3B-898E-66C93166BDB4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362921$848DED83-8BE1-4EA1-AFA1-D1359B8DE9D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362921$4207A769-1436-4E3E-8CB9-CE339D3E1261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362921$A736F5B1-22CD-4E09-BB20-D9DD92C28CD7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ebb87c57d0c80b133cd61972e4d3bc4b30d430b","datavalue":{"value":"1086671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4362921$A89554EC-AD1F-4BB9-A7B0-BF41D4B6B1C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a7cd0243b24a41f33305f1de4aabae930147454","datavalue":{"value":"Kleene algebras with tests","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362921$5C5FDF38-22AA-4CDD-9773-46BE35840A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56c8ab4e270bec8fa5d9df580bbe1d33bcaa62e6","datavalue":{"value":"equational specification and verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362921$3878374C-89E0-48C9-A4BB-7B70C070A9F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362921$C700C32C-A13B-4337-86A7-48B849B95203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362921$D66001B3-0F91-45C6-A544-FC9F42C86F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d60f73740a3bd458c456d32e3bf09df4e6742fb3","datavalue":{"value":"*-continuous Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362921$5C0021AE-0133-43B2-B38C-69E7B715D5E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4362921$6265505F-B5DE-4E27-B748-4069A96411B4","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":"Q4362921$FDD48B54-79A2-4242-8E48-EC19C2401A37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efeed3c0acdda92e68a608b4fd2b72ad9db9875c","datavalue":{"value":{"entity-type":"item","numeric-id":5410479,"id":"Q5410479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88000db1cc95a9f86be3f1cd738a36526207a6f6","datavalue":{"value":{"amount":"+0.8301733732223511","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":"Q4362921$B9A3BE70-8763-4F64-B646-108C7118271D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9de6c61eb2680b481a8fdd1b55225f8fd489e22","datavalue":{"value":{"entity-type":"item","numeric-id":703519,"id":"Q703519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4eee16b405a74931a517af77c3f262633e7613e5","datavalue":{"value":{"amount":"+0.8124336004257202","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":"Q4362921$0B0CF5EB-622D-4B35-9D90-0FCA40ED5B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68af87d76112d1eeab2cfa31410eb2dbe30e15f9","datavalue":{"value":{"entity-type":"item","numeric-id":2843723,"id":"Q2843723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"888e40d7bd14d797f229c1b8406229b4765b9c66","datavalue":{"value":{"amount":"+0.810880720615387","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":"Q4362921$2CAFEF40-7A98-4974-928B-42C724C99B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30618927a31f39aa2acfc3c36afebbdf6862b8d0","datavalue":{"value":{"entity-type":"item","numeric-id":299196,"id":"Q299196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef7368652700443f710de8ad596ca4d187b74b93","datavalue":{"value":{"amount":"+0.8053346872329712","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":"Q4362921$9349D585-32E0-4193-A995-427E8FB6D159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63c1c2786c7602f015847288061d752d1f0ff531","datavalue":{"value":{"entity-type":"item","numeric-id":5899310,"id":"Q5899310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2460b8f9006bc14560d95b9f92c635000398dcc7","datavalue":{"value":{"amount":"+0.8024846315383911","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":"Q4362921$6BBB8FAC-9476-4A96-A874-FEBD9B85B157","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4362921","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4362921"}}}}}