{"entities":{"Q5327345":{"pageid":7356919,"ns":120,"title":"Item:Q5327345","lastrevid":51794030,"modified":"2026-01-20T01:59:35Z","type":"item","id":"Q5327345","labels":{"en":{"language":"en","value":"Program analysis and verification based on Kleene algebra in Isabelle/HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6196165"}},"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":"Q5327345$E3FF2495-1151-4DEC-B804-75DA50400FDF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d22ed46f2330b5b50d36752e560bc0b5f61e752c","datavalue":{"value":{"text":"Program Analysis and Verification Based on Kleene Algebra in Isabelle/HOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5327345$178836B7-59B4-4912-ACEC-8F286AE1BD00","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a014e5e35d6f23836436e306d2b0c87017eadd53","datavalue":{"value":"1317.68201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327345$C001E9BA-C2CC-4BDE-B912-19311F9875D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4cd9f39d5798d8f58ff0c91bb7e4d134f3b4a23f","datavalue":{"value":"10.1007/978-3-642-39634-2_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327345$2E15F358-A060-4BDB-A103-86F24D3748D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"661058c43babba56430a6ee50eb96105dced91de","datavalue":{"value":{"entity-type":"item","numeric-id":406432,"id":"Q406432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327345$18F660D9-27D8-45CF-B3B9-049A9D51F352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb27aad50a775f188aa99887f496d209cf025869","datavalue":{"value":{"entity-type":"item","numeric-id":299200,"id":"Q299200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327345$62D1C75A-6EB5-4FB3-947B-337B5A2B1337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1f8cd3b806fd78547b3f4844ba487e41a5ec455","datavalue":{"value":{"entity-type":"item","numeric-id":286783,"id":"Q286783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327345$14C29F31-DA34-4BC3-BAF4-863C885662A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327345$049C9A70-4FF9-4E8E-B593-37716F285BF3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00eca6587536a1681b3f41d63f34e248b2e37166","datavalue":{"value":{"time":"+2013-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5327345$8F92D6DA-4C9E-40F6-8E3C-9E81F405F0A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"12654de61dcaf7a325192508e64632b7f80b453a","datavalue":{"value":"http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-207378","type":"string"},"datatype":"url"},"type":"statement","id":"Q5327345$02EDA53A-CF7C-4786-AC2B-0214A217205E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327345$39366D85-1B3E-481A-9304-5DC30351CE6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327345$E5D9C191-D053-4BF9-923A-70F88EF4A648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327345$4E1E666B-6847-40CA-A42A-4A6016F29E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327345$9D13C1FE-BB92-44FF-90D4-78EEA5555554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327345$5350E627-318B-4D20-B62A-4F384F26097E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab35ba4a1b2b4f710347f87b16fe1be16731c995","datavalue":{"value":"6196165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327345$CBD5ACA7-3C29-485C-AF4C-3E188FBBBDBF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327345$F1CA94CB-C30F-49EB-9823-C84D4E4BABD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327345$4F803CA7-2D10-439F-9B8C-1D06AF0E1A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4dfe52116eea178df8e98fcb66fd7e4802fcbfc","datavalue":{"value":{"entity-type":"item","numeric-id":24263,"id":"Q24263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327345$4CA062C3-E4F4-4FA7-A36C-43D8FEFF6456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9853a577315411544eb2c427f41ef798142f45e3","datavalue":{"value":{"entity-type":"item","numeric-id":20515,"id":"Q20515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327345$9C56DACF-CBF4-4B18-92D5-9EA4B5B003ED","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":"Q5327345$E6A7A139-45BF-4126-8738-0B3B5452971B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cf059fd4ffa3b1adc4408d454d17c6ab6de36b0f","datavalue":{"value":"W1797941296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327345$F87AC7FA-81E4-47D8-833A-8D66C24106A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b448852c958cdb0ecc2c93f211b0e5409cc6066e","datavalue":{"value":{"entity-type":"item","numeric-id":5410477,"id":"Q5410477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"719e1a1c29f35eb9b3c1b2002e51d5cd608c1504","datavalue":{"value":{"amount":"+0.8400439023971558","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":"Q5327345$6802ADF9-8873-4EC3-9246-D3AA34903483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4e01af7911d7707bd27d3e7d3c8388a5e637061","datavalue":{"value":{"entity-type":"item","numeric-id":736461,"id":"Q736461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22f6edfa32636439f10d2e5fe7eb0d95e5bdef88","datavalue":{"value":{"amount":"+0.8012828826904297","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":"Q5327345$175D9A65-6625-4754-8506-1D22331EF83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e185cb3788129a86496b6b33cbf65d270bfb21f","datavalue":{"value":{"entity-type":"item","numeric-id":5327344,"id":"Q5327344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"489359962ba23283ec42e82db9acd5c695a76267","datavalue":{"value":{"amount":"+0.7998837828636169","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":"Q5327345$514F89B9-08D8-4BC6-9F4F-00D1A23996E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4e685dd3d6d5059dc0bd8a2b049a131d647774c","datavalue":{"value":{"entity-type":"item","numeric-id":5738898,"id":"Q5738898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a24ae73c9286acda88881cca5ad93ff5e6e126b","datavalue":{"value":{"amount":"+0.7824710607528687","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":"Q5327345$E542ABC8-8776-42C4-8E84-B1E16048AB7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c928d44ecc2fee1f6858fe4e4bd9f1950f437c09","datavalue":{"value":{"entity-type":"item","numeric-id":4986510,"id":"Q4986510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a84a20e2f30ff8e2904699a1d0a7ba7f7973fe5","datavalue":{"value":{"amount":"+0.7805860042572021","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":"Q5327345$62CFD0C4-7229-4CD1-9FCE-CDED16C6DCBF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5327345","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5327345"}}}}}