{"entities":{"Q4635946":{"pageid":6665527,"ns":120,"title":"Item:Q4635946","lastrevid":41617444,"modified":"2025-05-06T10:24:47Z","type":"item","id":"Q4635946","labels":{"en":{"language":"en","value":"A Step Up in Expressiveness of Decidable Fixpoint Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863552"}},"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":"Q4635946$79DDE1E3-9974-498A-B9FF-2F6A4C6D834D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3d8d07d9064888a4774f029d1c60a0bbda55f83","datavalue":{"value":{"text":"A Step Up in Expressiveness of Decidable Fixpoint Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635946$79CCDF8F-0751-44E0-9962-B79BB19BC3BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"172bbef200e685005383f9bf3c1e5814a62e17cf","datavalue":{"value":"1394.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635946$54FBE1CA-F707-442F-9EE2-EC191B7B2F90","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f3912f3ff964c03073ccd1df322c0cdefce38aa","datavalue":{"value":"10.1145/2933575.2933592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635946$65E9B113-EC9D-489E-95BC-57A1F7145BEB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"67705e1e44642039902bf4ef21e5fd6d7a30c49f","datavalue":{"value":{"entity-type":"item","numeric-id":394743,"id":"Q394743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635946$DAEE4795-7620-4419-B906-021E47FF057C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2385cc4dfe24a394f2fbebc903db8a7daf0bb26a","datavalue":{"value":{"entity-type":"item","numeric-id":269321,"id":"Q269321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635946$0E234372-9AD7-42B7-9444-27D1479F499F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e16c811cb9ecfa8c76252a584ba1589af7f86a94","datavalue":{"value":{"entity-type":"item","numeric-id":2911612,"id":"Q2911612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635946$2B57C9AF-6015-4BF1-86A9-F5ED4CCF6A21","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"046029701eaa27e11deafdbb503d5ba484152a43","datavalue":{"value":{"entity-type":"item","numeric-id":4635856,"id":"Q4635856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635946$3EA76185-7BB5-4303-9553-5283F04655C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635946$73410C5F-B430-486D-9FBB-CBBDE2D14E46","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7640302d41edac6745dd01621b4d0af38791c435","datavalue":{"value":"https://hal.inria.fr/hal-01413890/file/LICS16-gnfpup-long.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635946$9A9BFA14-8D05-45C5-B12F-58568F459AEA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635946$AA4B59AC-FCB5-417E-A2FA-8F4B4E59AD09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635946$53196163-1EC2-4397-9FDD-13299360FE84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635946$FB09EE20-19BF-4ADE-B09C-C2B4228505A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635946$AE0DF26C-68CD-4860-BF6F-86E66A528598","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4120f70fc4b4c150ed6842af26535f73abe99843","datavalue":{"value":"6863552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635946$CC437CD6-3E29-4DC4-8506-919082F443E3","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":"Q4635946$ED0C8C5E-8B4F-4C93-8194-563D6AAC8F1E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"237489c9bab33a1d5764702a0a2e7ee8e6ab0486","datavalue":{"value":"W2530320023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635946$CCE12C18-68D4-40BD-9599-493B78F3AB99","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"13e133c7b34129d13f37da80562d21a99716ded7","datavalue":{"value":"Q130880104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635946$137405F0-4F3A-4273-A9B6-8D32A7DA2BD6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff27ef3b0d5a396b1e82fabee5231e65cdd880c6","datavalue":{"value":{"entity-type":"item","numeric-id":5111439,"id":"Q5111439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f564825e86a4172d3e1fd718aeecd6ce6b289f69","datavalue":{"value":{"amount":"+0.90593165","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635946$BDCF4213-3579-4656-9D74-3C63EC9F1785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a637999b132d561731e438d9c302ae373ac21d36","datavalue":{"value":{"entity-type":"item","numeric-id":1190508,"id":"Q1190508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd7b38baf58a8ec7f17b655e23b70478da40a89f","datavalue":{"value":{"amount":"+0.89395815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635946$294A30AC-74FB-464F-9AC1-883F1879CCA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aac30f2bcf8429d55439e6c776afd459dfae08f9","datavalue":{"value":{"entity-type":"item","numeric-id":4346734,"id":"Q4346734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a032f9a23278db08aff94c242a8c6c8d1a97810","datavalue":{"value":{"amount":"+0.8910507","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635946$FF295594-ECDA-4C37-8A66-1EE47A6F3310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0455d76a03658896bc2fe38222a1354c116b272f","datavalue":{"value":{"entity-type":"item","numeric-id":6176107,"id":"Q6176107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab74e8932252929a013ebc08a8c73564fdca3a2e","datavalue":{"value":{"amount":"+0.89046943","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635946$252B0A58-B242-4C1A-A678-86E9D3F3D697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbe6fa15f0e37252c4e855f3879a9ee382438164","datavalue":{"value":{"entity-type":"item","numeric-id":5232911,"id":"Q5232911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"262b00784ed96ece725824f9c081ce11887fbf24","datavalue":{"value":{"amount":"+0.8901026","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635946$44C9D787-D0BD-4E63-8D9B-09373F98845E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1099795e2b98a2012c2b61f3dea46cacffb308ea","datavalue":{"value":{"entity-type":"item","numeric-id":3198867,"id":"Q3198867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5627a4ec5639a2e719f64bd03a8c1dd2f58d233b","datavalue":{"value":{"amount":"+0.8892775","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635946$F5D02D68-F415-4FC5-BEA2-F98C550A0893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32782c00400833a9c0d7a61411b35475526f487a","datavalue":{"value":{"entity-type":"item","numeric-id":1090327,"id":"Q1090327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0b4821b1593e44557fd88af26e48b55e60bddf9","datavalue":{"value":{"amount":"+0.88529444","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635946$D85FA2EE-E1DD-4F1E-BA01-25C8818BA232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba1d1b294a1c7e1f2dff43bc0288d75fb64afb0c","datavalue":{"value":{"entity-type":"item","numeric-id":4559803,"id":"Q4559803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fdd86e550bde3e582c0027b0fa59c60792e7fe7","datavalue":{"value":{"amount":"+0.8847335","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635946$9264E241-B05C-408D-8F71-391D7A2DEDA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3020bde238b0da89beab7a1a7f33b93a1439f8d7","datavalue":{"value":{"entity-type":"item","numeric-id":3204028,"id":"Q3204028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7ff908d18dcf6ed459a5420cd024fcbe468a37e","datavalue":{"value":{"amount":"+0.8842343","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635946$A4D4D560-F7EA-4D03-B9A4-3339F546DD5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"587553d2fea14f83e8a1020120a017bb9c111221","datavalue":{"value":{"entity-type":"item","numeric-id":4879905,"id":"Q4879905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7997aff4b0eb99ae23f21064c27edcbe5c3451be","datavalue":{"value":{"amount":"+0.88381064","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635946$2B6B00E2-A2A0-414C-B046-8D39500F80EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635946","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635946"}}}}}