{"entities":{"Q6492746":{"pageid":14071519,"ns":120,"title":"Item:Q6492746","lastrevid":57344523,"modified":"2026-03-30T14:09:14Z","type":"item","id":"Q6492746","labels":{"en":{"language":"en","value":"COOL 2 \u2013 A Generic Reasoner for\u00a0Modal Fixpoint Logics (System Description)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7838490"}},"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":"Q6492746$0D02F49F-BEB9-42ED-A869-12C2EECFD153","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ae80caf6ba6563737c83af4221a05282d42419b","datavalue":{"value":{"text":"COOL 2 \u2013 A Generic Reasoner for\u00a0Modal Fixpoint Logics (System Description)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6492746$BB83CD00-ACCE-46CB-A5B7-9BB63EFE4072","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89228a27d17c1e069dcf92e0233772aa08575880","datavalue":{"value":"10.1007/978-3-031-38499-8_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6492746$98B5688C-3219-4AC3-B283-FD4C83AAB989","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e898971e01fb46780e56545ce0c1921e2b53d283","datavalue":{"value":{"entity-type":"item","numeric-id":6492743,"id":"Q6492743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492746$C564ACA8-E623-42EF-B8D6-523B96B84661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a5b77d50e2c99c5b8c02feff26f37fbdd9f645b","datavalue":{"value":{"entity-type":"item","numeric-id":784133,"id":"Q784133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492746$B8A105AC-3373-486A-88EF-DB3643B29D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"656a71c1b3cd328078c192b697bdc1511ecb16a0","datavalue":{"value":{"entity-type":"item","numeric-id":6492744,"id":"Q6492744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492746$B7F342C8-F865-4B0E-A9A2-ED985268BA72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4aa98607dbb9e851d4e2feda2e6a57901527c54","datavalue":{"value":{"entity-type":"item","numeric-id":558416,"id":"Q558416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492746$BDCC030D-CFEE-4F56-A8CA-EB0CCD57C990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e824cf87f98caadb5f608d5abb1dd70da002ef77","datavalue":{"value":{"entity-type":"item","numeric-id":6492745,"id":"Q6492745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492746$A5F20228-3424-4856-B7CA-184F99029343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1eeed33b2287d1ef7af5a3fd00bdb188f793ecc6","datavalue":{"value":{"entity-type":"item","numeric-id":234493,"id":"Q234493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492746$6478334D-91CD-4227-9666-11D4BBF92C39","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"227dbe0710d596965d91e536c510070ed1b54f65","datavalue":{"value":{"time":"+2024-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6492746$C764A45D-35B1-41E9-B155-16FBEE6F44E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6492746$E9402BD0-1F22-40D0-B9CD-EC5D071966A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6492746$AFC6C776-2194-4DC9-A503-8C26A392B638","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da4acbfc0beb847ff2032130a9481df3fa10669d","datavalue":{"value":"7838490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6492746$18372290-8816-456A-9FCC-CBAC07581BA6","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":"Q6492746$03B2C14A-CDCE-43AC-9CF8-89677BA8FD44","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492746$71AF7140-EADC-41DC-8802-1E10533964A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09db8b9397e6b80acb0cdc56f59c982c0a26bcd7","datavalue":{"value":{"entity-type":"item","numeric-id":4982113,"id":"Q4982113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492746$055BB2DB-C328-4276-911A-24327A80022D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7382bd15ee0772f2a01d44c3ab123938e80ac15b","datavalue":{"value":{"entity-type":"item","numeric-id":3224669,"id":"Q3224669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492746$741BA118-0C97-4DE5-9D66-770EE23E1D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"440a350c96b0ba6c90d200bf5d05d99fc766fac0","datavalue":{"value":{"entity-type":"item","numeric-id":1407541,"id":"Q1407541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492746$9738A8A7-FB8F-4AF3-B528-32011EDF0A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f3cb76702725928d2c01ba83baed0fe9e23fcd6","datavalue":{"value":{"entity-type":"item","numeric-id":2851937,"id":"Q2851937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492746$C6E589DC-B9F4-4464-BA94-228FC4894F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9916670279e1adc71d7d62778a5fd18090ce38b1","datavalue":{"value":{"entity-type":"item","numeric-id":3454093,"id":"Q3454093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492746$023D95DF-ECF3-46B2-8F3E-C37B18BF325D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492746$2196D749-908C-49DC-B899-C572BD986E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbfc2abbce44972b8bb802564404a2fe7acfe5e0","datavalue":{"value":{"entity-type":"item","numeric-id":3303906,"id":"Q3303906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492746$0AD95CD0-B1BC-4FE1-A9CA-AEA33DC5542E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b780a68c8eb6f01f1d95c9677b116a164573c20b","datavalue":{"value":{"entity-type":"item","numeric-id":2351420,"id":"Q2351420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492746$183432FC-DBFD-458C-9EBA-16B22C793A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbb961c46a18cc5234a34aff7700ba6c40e3b23d","datavalue":{"value":{"entity-type":"item","numeric-id":5747750,"id":"Q5747750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492746$F3951892-2C14-47D8-A607-67F310BA1292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0d14b1ecbe3662398f81bd2a0e0822e0e1177ec","datavalue":{"value":{"entity-type":"item","numeric-id":4539653,"id":"Q4539653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492746$11DE87E9-66A8-4F6E-8D3D-95B927F824B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d529d2f9e95ba1ddcd64c91dbb8283cb6eb618c","datavalue":{"value":{"entity-type":"item","numeric-id":1742625,"id":"Q1742625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492746$48A105CC-7DC7-4DF5-B90E-3FE14268152F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492746$CE57C08B-F9D0-4AB3-AA7E-F9A7EA8D1805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cb5d87d6893f989fee7ae7b8db923929ffb4eaf","datavalue":{"value":{"entity-type":"item","numeric-id":2289080,"id":"Q2289080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492746$CEBC27FB-E885-40E9-8AAB-C1C11B847CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b05a809999c5110914caf81a5f0b136f7368f8c7","datavalue":{"value":{"entity-type":"item","numeric-id":2324236,"id":"Q2324236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492746$8B2B4045-3EDD-4B02-BCFB-B3289F094B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c757d36425acc5c53be328a8517442a7492691","datavalue":{"value":{"entity-type":"item","numeric-id":4608687,"id":"Q4608687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492746$43989843-7F61-4920-AF8D-DB2EADD798AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492746$A8FD888C-953A-499B-9799-36B48ED84B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"191c355fc513b836fdbf7a210003dceba3eec0a0","datavalue":{"value":{"entity-type":"item","numeric-id":5305663,"id":"Q5305663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492746$961C2D33-FFDD-4A5E-AAEC-1ED2440ED0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4af5f40b1688002d626ced95ea52a62f7741103c","datavalue":{"value":{"entity-type":"item","numeric-id":4809076,"id":"Q4809076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492746$32228B5B-149E-4BC8-A3C8-096BD10DE8E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d25193b6710c306783691d70b01f842e6c0e1412","datavalue":{"value":{"entity-type":"item","numeric-id":2904057,"id":"Q2904057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492746$323A0C8C-8FBA-4138-BFAE-8E830097BFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4775c5992dde71a07dfdd324737d8aa2f84312d","datavalue":{"value":{"entity-type":"item","numeric-id":5034233,"id":"Q5034233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492746$59A29C25-A505-4541-9A97-1A6ABB2689CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492746$BB67F947-C807-46A1-A7A9-196A0B701CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e9159e9095f8ca510d538d7e9904c6f3ff891ad","datavalue":{"value":{"entity-type":"item","numeric-id":796990,"id":"Q796990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492746$76A4AAF1-6F1F-4A2A-9DB1-B4A0D5DF2E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3832e95928a7280c565175bb6d84ab35526900b","datavalue":{"value":{"entity-type":"item","numeric-id":4994892,"id":"Q4994892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492746$03FF2DAD-6C1A-4E0E-9939-D2AC9C04B301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46986697e9a2591d83bd32b37bbe4daa491a8b5d","datavalue":{"value":{"entity-type":"item","numeric-id":3730012,"id":"Q3730012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492746$C462C85C-800F-489D-8D47-26A94EB86139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56086f6d2a7681712908b00a7a68c6b468d9e769","datavalue":{"value":{"entity-type":"item","numeric-id":3326827,"id":"Q3326827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492746$932AABCC-5E7A-4F89-B0D7-8F7B79065C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"564179a3065c43e795b643ec9273069a6cc72505","datavalue":{"value":{"entity-type":"item","numeric-id":558417,"id":"Q558417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492746$D90854DC-92E0-48A8-B4A2-2AD8A8985076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"554dd80b26f1471d0a2efb82a159b112585c78b4","datavalue":{"value":{"entity-type":"item","numeric-id":4329525,"id":"Q4329525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492746$67E35D3C-ECBB-46F3-A4B2-EEA85FDD73B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2857e2ccf7c4a647101d2799fa5b5bcb5648fc35","datavalue":{"value":{"entity-type":"item","numeric-id":3787981,"id":"Q3787981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492746$E199DD3D-F8A3-4D36-AB20-E71ECF172168","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":"Q6492746$1CC5E1C0-507A-45FE-A91B-2E9E2BDEF17F","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":"Q6492746$58E87496-5411-4E22-AC7E-DA44799D2342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50717835f7f6961b0d32328866377521644caf81","datavalue":{"value":{"entity-type":"item","numeric-id":2946571,"id":"Q2946571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492746$897BAD34-A11A-4464-9AA4-0E2728736AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05334c96fd6361936372fe0f86b14c35a075742c","datavalue":{"value":{"entity-type":"item","numeric-id":2891469,"id":"Q2891469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492746$435D6460-CBC6-4AD4-BB1A-D31590236DE7","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492746$67480BB0-7670-45A6-A4FF-6FD6BC6269B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6492746","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6492746"}}}}}