{"entities":{"Q6859906":{"pageid":20656069,"ns":120,"title":"Item:Q6859906","lastrevid":75147652,"modified":"2026-04-18T00:29:17Z","type":"item","id":"Q6859906","labels":{"en":{"language":"en","value":"Coinductive techniques for checking satisfiability of generalized nested conditions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8158337"}},"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":"Q6859906$8CF5BB65-5E4B-4DFC-99FB-7759F7894103","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4575358dcdf0d0f805f975086182c5d161636769","datavalue":{"value":{"text":"Coinductive techniques for checking satisfiability of generalized nested conditions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6859906$B2A1D751-534C-4ECF-B2B6-2E1C0D4B27C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ffb7df10846ff52a327bfc61dbf7c5942d201a6e","datavalue":{"value":"10.4230/LIPICS.CONCUR.2024.39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859906$51CE6269-6222-49C7-9C23-CAC8EB6C9F21","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c3a9bad9bc62051861acfd56187415287c59fdc","datavalue":{"value":{"entity-type":"item","numeric-id":6854425,"id":"Q6854425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859906$071E2567-C6A8-45EB-B8D2-8F08F4613538","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":"Q6859906$7FFB92E4-8AFB-489B-81F8-9AF5C0F110C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc6bf8ee6ddc27826d6acbe2c0246439943dd26d","datavalue":{"value":{"entity-type":"item","numeric-id":262424,"id":"Q262424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859906$AA1BD4CF-3571-4DE6-810D-97E1F872887D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b00d93131f1b38401f6d724c500276180fc1e824","datavalue":{"value":{"entity-type":"item","numeric-id":171483,"id":"Q171483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859906$C0FF10A8-F4F0-454C-BF81-6F9E1D5B6D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0e0d716fe761e50ebe2a87a6a363c057ffbb434","datavalue":{"value":{"entity-type":"item","numeric-id":418013,"id":"Q418013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859906$1CE0E1F8-F054-46DC-94CF-BF2A83E37ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"874a476e6716f6cd8f170e2420dcab2786650206","datavalue":{"value":{"entity-type":"item","numeric-id":347378,"id":"Q347378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859906$67E96CAF-F2CB-40B3-BDEE-4C1DC1CC8603","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f115c6be43614d2596ce7cf4daadf566de48c39","datavalue":{"value":{"time":"+2026-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6859906$E632890E-39FB-4F9D-95EC-84973E41B91D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859906$46969EA5-DA7F-4CBE-BB61-B037B55182D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9ec8372b01f232eb75fbc0e856c81fd54d6947b","datavalue":{"value":"8158337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859906$F42E9FD9-950D-4380-990D-56D92FCAF9CA","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":"Q6859906$D9C9C504-DB22-45D8-A1D7-DD2E017E9FFB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859906$8B37D2EC-0F8A-4FBF-8257-2DAE13190867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de521a67281b31555da773da1b3e35e0199d7cde","datavalue":{"value":"graph conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859906$54290719-C285-4131-8B60-08E176E21421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cbbdb84954340bd5693fdc5c2f13591fbf3c4c1","datavalue":{"value":"coinductive techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859906$4E438C77-5A60-45A2-92F6-7B37285185B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859906$7D0834AD-2D80-4EDC-8238-BEB4AB845794","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":"Q6859906$C1A90AAF-A234-4AC2-AECE-E1E588D0DA01","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coinductive techniques for checking satisfiability of generalized nested conditions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Coinductive_techniques_for_checking_satisfiability_of_generalized_nested_conditions"}}}}}