{"entities":{"Q6535504":{"pageid":14146647,"ns":120,"title":"Item:Q6535504","lastrevid":55547053,"modified":"2026-02-17T18:35:58Z","type":"item","id":"Q6535504","labels":{"en":{"language":"en","value":"A monoidal view on fixpoint checks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7787528"}},"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":"Q6535504$9856A51A-1899-4DB3-90E4-6630ACA13E78","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca30814f996bb05d4e6f3a7a315d85053e20c6af","datavalue":{"value":{"text":"A monoidal view on fixpoint checks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535504$A00D8C7B-23B0-4E31-AC71-0E06C227584A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db32bbb0c183d24c246d9f220a827f9aba936b22","datavalue":{"value":"1545.6808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535504$971023A1-339B-426F-938B-15E8AEE4FACB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9af6653b64374001e8945569e65e7d3276a751a4","datavalue":{"value":"10.1007/978-3-031-36709-0_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535504$D1F53ADB-43F0-4640-B134-D2DDD59A6791","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a84734b2f28e9a35d6144f12b4db78e213891dea","datavalue":{"value":{"entity-type":"item","numeric-id":338612,"id":"Q338612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535504$DC1468AF-1B04-46E9-BB8E-DABF8101D477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"957b7a9764c381372b786208124f020608bf201b","datavalue":{"value":{"entity-type":"item","numeric-id":2233394,"id":"Q2233394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535504$D4A47EFF-AB03-4ABF-81B5-9F67CC7C20EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3a7b49c0fa0207c4126ab92ba9aba076a2f1895","datavalue":{"value":{"entity-type":"item","numeric-id":443727,"id":"Q443727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535504$A8386BEC-91BD-4E32-8DBF-0C35AAF03F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"761ff501cf57caa9809047cd72286c644f11c6f4","datavalue":{"value":{"entity-type":"item","numeric-id":6535503,"id":"Q6535503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535504$6A7E6ED9-C2F9-4894-87E8-FBCCF6F987F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b7ca3834697b9eec4cb675b7abb884c9439cbc8","datavalue":{"value":{"entity-type":"item","numeric-id":1652978,"id":"Q1652978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535504$6488DED1-25E6-42D6-A41D-A69EAA3AFB06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40fd68081729c6be8998aaadacd681a24ffbfcb3","datavalue":{"value":{"time":"+2024-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535504$07D7CA7F-2CC1-40B0-8416-D2E0C4DEC816","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535504$8E8EBBC5-09B3-40AC-A7CD-8DCDF002D1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535504$81A49CF8-DEDB-4E8D-873A-50BB8B9A4867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9182fe72874242a6deecfe62c63bbf9bfe31c485","datavalue":{"value":"18M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535504$AE10AA1A-0D55-4BA6-8D64-5EE06F0E5406","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6762f9627b0f69b1815c842ea7ccc2e4a3e841d7","datavalue":{"value":"7787528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535504$60362B69-8717-4B5C-AC3F-0E794B459F32","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":"Q6535504$D44C829E-4CFB-4316-B98D-36B05F1D47D5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1e452ef70d88319d955b8a9de8397b35142ec3","datavalue":{"value":{"entity-type":"item","numeric-id":5278079,"id":"Q5278079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535504$5709F54B-969A-45F3-83BA-7EA2EA91E75B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c75357b9c8737bf86af09d508f75aa9d90c26b","datavalue":{"value":{"entity-type":"item","numeric-id":5856412,"id":"Q5856412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535504$092970AF-8674-4494-9C9F-45537A267D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535504$C26C92ED-E73B-4446-9639-CDC93C4D4098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"078674df8daffb21caf6680646427875d9ba7189","datavalue":{"value":{"entity-type":"item","numeric-id":4683862,"id":"Q4683862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535504$5A285B5E-FACC-4042-9BD4-96F511F5CCB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad434f92b188824a76381188f3b5e51ef97b8b1d","datavalue":{"value":{"entity-type":"item","numeric-id":6535504,"id":"Q6535504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535504$021DA397-AA2E-422F-AE15-C97A3A002DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f3f74fdc2c04ff6adbcfdf9878c4749c85eb020","datavalue":{"value":{"entity-type":"item","numeric-id":2233395,"id":"Q2233395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535504$E376554E-842D-4AE7-9A8B-E110C414E937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f60a318f12f1e59ddc6d4776bc1f714b0d6a0a","datavalue":{"value":{"entity-type":"item","numeric-id":6610605,"id":"Q6610605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535504$DDEEF3D8-CF54-47A3-815A-9EA8CFCDB3F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6963cdf23c5c6491e4f2f740f56bd737d6216da6","datavalue":{"value":{"entity-type":"item","numeric-id":5009431,"id":"Q5009431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535504$52416FE6-9A07-4B30-96E8-FB5E3548C214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8079eecc9579ae6400ae4118234ab46520c11715","datavalue":{"value":{"entity-type":"item","numeric-id":2892788,"id":"Q2892788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535504$A875949F-59B1-4832-839C-EE118564FB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e059f3dca199d7994c5fa7a4449218cc1872240b","datavalue":{"value":{"entity-type":"item","numeric-id":4287357,"id":"Q4287357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535504$3BC51AC9-7D07-4D97-A12B-977C93C73F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"732dcb5bb241382165027c32cb539c5f4c07b29d","datavalue":{"value":{"entity-type":"item","numeric-id":1971974,"id":"Q1971974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535504$7AFF400A-5B40-4B1C-8CBC-DF6000472404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36050cb2aebc6e0d72cd0bdca54e064168155283","datavalue":{"value":{"entity-type":"item","numeric-id":596029,"id":"Q596029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535504$B6E68879-885C-4AA7-87EE-D65E628679B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49c5448a97fb364dc2992b0e91c0339742f9a8a5","datavalue":{"value":{"entity-type":"item","numeric-id":5702474,"id":"Q5702474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535504$59EA0E04-433D-43F7-98C5-672B3343724D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ce6ae51c59747c05bdf8caefc77cbb3de2b3eea","datavalue":{"value":{"entity-type":"item","numeric-id":3839056,"id":"Q3839056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535504$205AA6F8-6B67-4FB2-AC45-E5B0B8E0CCE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535504$1AF8BC06-8EDA-4797-B391-0F3DB8EC1079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac631eb74c8c582a8d02f7c173ab4e6230c28bf0","datavalue":{"value":{"entity-type":"item","numeric-id":5213712,"id":"Q5213712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535504$EF49F4C7-3DF2-4949-B0BA-2A81A12A47B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a83a0d0759bd552791c47669aaf3c7e2c42801","datavalue":{"value":{"entity-type":"item","numeric-id":1884901,"id":"Q1884901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535504$93B7AF2A-29F0-4250-BAB0-7F26BF540D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535504$CFE2F37E-9DB0-4AE4-BC2F-A320C30AC1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acccd7eafd07dc3503b73f63fc694c404030064c","datavalue":{"value":{"entity-type":"item","numeric-id":3118994,"id":"Q3118994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535504$E7C426B6-CF94-4644-91E8-7687A82BEF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd2a146bae799e67d19c2792d562d311cc75bcfa","datavalue":{"value":{"entity-type":"item","numeric-id":2474056,"id":"Q2474056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535504$AC310653-D11F-4EBE-A227-106DBC94E73F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535504$B1170640-EF9F-4D77-AA08-C015F7B8AB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"528d49fb8719632a63b7942241ca87b4d2518f8f","datavalue":{"value":{"entity-type":"item","numeric-id":5111641,"id":"Q5111641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535504$45DB1113-7E0D-4D44-90E5-0A24223EDB19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61101b857a33b8dcbb92a269a2c197509ad10645","datavalue":{"value":{"entity-type":"item","numeric-id":5900191,"id":"Q5900191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535504$4D6C1A5C-0458-4570-BEF0-C806DD2E243D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e786e5d16f490e364a5c5d2fb15592e01ee620c","datavalue":{"value":{"entity-type":"item","numeric-id":4206923,"id":"Q4206923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e4c20ae434bfa46a112dfb4f6eb9f03e5f8f7d9","datavalue":{"value":{"amount":"+0.7172792553901672","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":"Q6535504$00DC4725-074A-4CAA-82A9-49E001F46E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a076c546d81f4a1a821a5122a5bf8b011bb12677","datavalue":{"value":{"entity-type":"item","numeric-id":4635890,"id":"Q4635890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e8cc01794ff37810e57fea1176611f2ad38ebb3","datavalue":{"value":{"amount":"+0.6939563751220703","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":"Q6535504$0E2FDED0-ECF7-46BE-B947-B7DCB589AA1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0a3cd296e0c31ab34457174c86290ca9977898a","datavalue":{"value":{"entity-type":"item","numeric-id":549197,"id":"Q549197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20d0ed246e4c9a4d3517f90d3d1f7ea07da7a5cf","datavalue":{"value":{"amount":"+0.6752009987831116","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":"Q6535504$0BE48A5A-6EB0-4B53-A549-E2E916E26F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6f1872474eb6b42d97e1337002c2d91da7c25b8","datavalue":{"value":{"entity-type":"item","numeric-id":2248074,"id":"Q2248074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0170e8af5017a8b265672d43241e867b7a49a3f1","datavalue":{"value":{"amount":"+0.6732504367828369","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":"Q6535504$CDF317FF-979D-4790-BE8E-7C569FCB69EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b95aac2f2b0a162292722e77dfdfedb1dab95d7f","datavalue":{"value":{"entity-type":"item","numeric-id":3138544,"id":"Q3138544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9bf7bbbe26eec4b065b864cac22975feb09a572","datavalue":{"value":{"amount":"+0.6731283664703369","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":"Q6535504$BCF5FBA6-0462-47A2-94F5-B73B72A7A074","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535504","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535504"}}}}}