{"entities":{"Q6859906":{"pageid":20656069,"ns":120,"title":"Item:Q6859906","lastrevid":84252431,"modified":"2026-05-14T05:39:45Z","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"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"488ae82fd5efc323dbbefe7e9e83e42be1b7a49e","datavalue":{"value":{"entity-type":"item","numeric-id":2911624,"id":"Q2911624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859906$E4410ACD-0F5B-4D70-9028-79B853102DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1134f2341d7e5000fd707505605e06ca29388803","datavalue":{"value":{"entity-type":"item","numeric-id":2641288,"id":"Q2641288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859906$397B8928-C36C-4DD8-A947-29F66EB9BF8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d2a5930b67fedf7ddfefc5427ba29961082dee","datavalue":{"value":{"entity-type":"item","numeric-id":2491953,"id":"Q2491953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859906$F5044E74-B64E-46E0-AF20-5C84518D67DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975a1121a9f0cd8f29955976caae5f15af4068e9","datavalue":{"value":{"entity-type":"item","numeric-id":3419789,"id":"Q3419789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859906$3DC8A42F-C8A1-4F21-B8C2-C1F690C97A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad2e3e71fd34316c4d5dca241131f17edc1acca","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859906$EE7324B3-29AC-428A-AE46-34812A6AB143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65a7c62d8ac53263b35784497f41cc4b969cd3f","datavalue":{"value":{"entity-type":"item","numeric-id":3995720,"id":"Q3995720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859906$98EC74B2-5289-41A3-B468-59C7FD7636BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"548acb24d75419e124fb7d477c7572e13a585136","datavalue":{"value":{"entity-type":"item","numeric-id":3625675,"id":"Q3625675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859906$AE300A96-8269-4FE1-B72F-0B43B6EA4BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e94238a6a5ddf3dd15f03313efac1f027d9611","datavalue":{"value":{"entity-type":"item","numeric-id":3452263,"id":"Q3452263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859906$E70ACCB1-9A54-400A-95B2-73D25B6C6741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac3d493d5bbc9853db52cdcc391586e0b278ce16","datavalue":{"value":{"entity-type":"item","numeric-id":2892783,"id":"Q2892783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859906$59C1C808-2233-4367-A1EF-6C8BE35473F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa265fae8c10b4f35b960d6c3795d5fb126cec8f","datavalue":{"value":{"entity-type":"item","numeric-id":5028460,"id":"Q5028460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859906$546DF2D2-48A5-4564-8058-E9824F94B6F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d6ace226510f8e2eff52b9075789b73af097201","datavalue":{"value":{"entity-type":"item","numeric-id":5313719,"id":"Q5313719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859906$A7339688-C15F-4F04-A127-2AA46692F2ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59b65a347be4b10989246be82a1bf865179bce3d","datavalue":{"value":{"entity-type":"item","numeric-id":3192220,"id":"Q3192220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859906$D940DE8D-61E8-4AD0-BCC5-1D5A753BCCF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b620cb3f843d6247596ccdeef0b13771fac8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5730919,"id":"Q5730919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859906$158F220C-F53B-44E7-945B-2034CB3D8DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b650e33a4a5c0e80e120de15fc90c4d08686c15b","datavalue":{"value":{"entity-type":"item","numeric-id":4536606,"id":"Q4536606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859906$52B8BC01-B55E-4EFE-976C-B4BED0110503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e208d6d2288e51e7f3d0cf6018646be375fdb465","datavalue":{"value":{"entity-type":"item","numeric-id":1996850,"id":"Q1996850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859906$FA6E81F1-15A1-4068-B477-3BF8D8EA31FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d79cfc127b367730c102b1633fce64a1c6d9664d","datavalue":{"value":{"entity-type":"item","numeric-id":5403460,"id":"Q5403460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859906$54E925BE-4D4D-4CE3-B895-A8A9927FA871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26c5c50666947331e6627a00bf159a6a4deda17b","datavalue":{"value":{"entity-type":"item","numeric-id":3498446,"id":"Q3498446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859906$D2A30FA8-7076-4739-BA72-67F22714AE78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d05fe0de9d0e3e294914de50e10af77eae8e078","datavalue":{"value":{"entity-type":"item","numeric-id":5292605,"id":"Q5292605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859906$EA15AE28-DBCE-48BF-8DE4-3B0821809F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"479fc82f3c1867a77794a29028cea57c4fa2bffa","datavalue":{"value":{"entity-type":"item","numeric-id":5215908,"id":"Q5215908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859906$67D79F36-EF92-4BC6-A9D5-EBEFF24C85D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8fca122bde891b2a813bd5470597f757d4da95e","datavalue":{"value":{"entity-type":"item","numeric-id":3396010,"id":"Q3396010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859906$D5D6FA1C-5B02-4392-8CC1-464B4CEC82BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e997699d9be3a6763ab02ecc63b8df83a47f9ec","datavalue":{"value":{"entity-type":"item","numeric-id":6859906,"id":"Q6859906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859906$4C9D2FE3-0355-4892-946B-ADD19CE9F138","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":"Q6859906$052F3F26-85E2-4A0A-98C9-FD76DC4216E1","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"}}}}}