{"entities":{"Q1924385":{"pageid":1935127,"ns":120,"title":"Item:Q1924385","lastrevid":71839752,"modified":"2026-04-14T00:53:08Z","type":"item","id":"Q1924385","labels":{"en":{"language":"en","value":"An extension of Van Gelder's alternating fixpoint to magic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 935421"}},"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":"Q1924385$54E526F8-2B7B-453B-B101-9E2DA4B3F90C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b62213d0696acde3d4e1d0ff385917881df397c","datavalue":{"value":{"text":"An extension of Van Gelder's alternating fixpoint to magic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1924385$790DCF56-E46B-48C0-88EF-A286A2E1050A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8008b398ec9295a0426c72208daa6f817e52b8ff","datavalue":{"value":"0858.68007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924385$02B48FF3-362A-4646-85ED-DE0A362F41D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d9ad56fd7d64a233276ae25819dcc6bb700e2ae","datavalue":{"value":{"entity-type":"item","numeric-id":239371,"id":"Q239371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924385$935ADDC1-4FD9-4037-B296-1122CF91F67F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924385$DAA4472B-1FA4-434C-B898-203992F1D41B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"15f2eb0c088a11d010420df325434153667b811e","datavalue":{"value":{"time":"+1996-11-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":"Q1924385$AA9E8ED8-9E71-4BEC-AB18-1E242B49FB0D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924385$A1A0BAB3-F5AA-4200-A842-AC2B9DAE0CFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72c8ba4da8e0150d424a3de3b159789e156c08e0","datavalue":{"value":"935421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924385$3B9B43D4-8B5C-4E36-AF7D-CD8BAE0C7315","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acc396d59217874875e54ea359529e3e7720e4ba","datavalue":{"value":"magic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924385$D2D168FC-2D94-4993-8B2B-4E2713C5DE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40ac51148a5ff1725b32c3ce34af150283b22afb","datavalue":{"value":"Datalog","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924385$A8009352-D4ED-43CD-A699-C375FC860AE8","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":"Q1924385$4E6FE4B5-07E7-4D82-B8CC-89F2F466558C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95d320da0a6678a60ac1617b8f12c78a9676bf4e","datavalue":{"value":"https://doi.org/10.1006/jcss.1996.0038","type":"string"},"datatype":"url"},"type":"statement","id":"Q1924385$544BCADB-2C5C-4DD1-80D8-2DBEEDBCBA5B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0706222acf80c8e0b783a8d05cf8b10f9d4266f0","datavalue":{"value":"W2010904739","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924385$396B95D1-962F-4E81-9272-02844C71C303","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c06824a67ea82b31369eafbf8085c73cc9572e4","datavalue":{"value":"10.1006/JCSS.1996.0038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924385$959DC6AB-7E67-4253-8FBD-99D711CCE750","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b57285bdc8d8b28e79e8bd989ae4454da0f20ab9","datavalue":{"value":{"entity-type":"item","numeric-id":685491,"id":"Q685491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcc2b552f88032256de4c4099512d97cdef13533","datavalue":{"value":{"amount":"+0.8114297389984131","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":"Q1924385$BB381BFA-F9A7-48B2-BAEA-1351E32C5F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73a74aebc3ead384ee81496bdf6ca2113ebf8a9d","datavalue":{"value":{"entity-type":"item","numeric-id":4327632,"id":"Q4327632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e957e600536651ce9fc6d169911f0271a8b6b222","datavalue":{"value":{"amount":"+0.8052518367767334","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":"Q1924385$53A151CD-35C2-4538-8B63-A4DE3F49D11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36369c608129c2b7eeb65f630eaaad8684f7f63f","datavalue":{"value":{"entity-type":"item","numeric-id":5316603,"id":"Q5316603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63cb14f0b29d61c4fee83e7be2be39ddb5d51ff3","datavalue":{"value":{"amount":"+0.8049066066741943","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":"Q1924385$13B7255D-A2AC-4059-B47C-2720A2F7E112","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An extension of Van Gelder's alternating fixpoint to magic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_extension_of_Van_Gelder%27s_alternating_fixpoint_to_magic_programs"}}}}}