{"entities":{"Q2639057":{"pageid":2649800,"ns":120,"title":"Item:Q2639057","lastrevid":49454992,"modified":"2026-01-07T04:45:15Z","type":"item","id":"Q2639057","labels":{"en":{"language":"en","value":"Inductive definitions over finite structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4183406"}},"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":"Q2639057$00CD373F-CBBF-4E0B-8889-183392B27B5C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec981023a7e1259d2ba21dc803a753399a1f6450","datavalue":{"value":{"text":"Inductive definitions over finite structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2639057$81A0C2E9-9BDB-4FA1-8D90-661631434B15","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7df6182f7fd1d6552b65b8fdc0202bd2fd91e5f","datavalue":{"value":"0718.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639057$94AD82B7-B5EC-4B05-8B23-06860E5BCBC3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"058189ed0b75c2e2018eba4b1e284e5c6ff41cb1","datavalue":{"value":"10.1016/0890-5401(90)90006-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639057$C141BBCF-39EE-4B50-A71B-5C133BD5087C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96a79d9e749e94f65576b1899e96905ca07e98e1","datavalue":{"value":{"entity-type":"item","numeric-id":234593,"id":"Q234593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639057$CA932A83-7BD2-4BBA-817B-F701DEDD98A5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639057$23C56CDC-8EB5-4AFE-A7FB-88CED2BC07FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2639057$BCF81893-E51D-40A8-85B2-DBA4C673BB25","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"741245498a86f5df8aa7400d24a5b4f191b39602","datavalue":{"value":"We give a simple proof of a theorem of Gurevich and Shelah that the inductive closure of an inflationary operator is equivalent, over the class of finite structures, to the inductive closure (i.e. minimal fixpoint) of a positive operator. A variant of the same proof establishes a theorem of Immerman that the class of inductive closures of positive first order operators is closed under complementation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639057$D4958CDD-04F0-469B-B228-7A47ADDE60A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639057$05B5078E-CCE8-4145-BD3D-573FF2E79767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639057$08A282D2-2F51-4350-AD48-C5CB5D6F8AEB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ab032801948a62890b5be76ed458244df42415c","datavalue":{"value":"4183406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639057$22FC0782-1F36-4763-8B15-5BBC994CE74F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb52a259c20dcee779e60bba0c51c1ceb7e86065","datavalue":{"value":"inductive closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639057$078FFCE6-5645-4E1F-ADB1-9CF06A951B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa1f9cffd18fe4bc8fecd35eb209e3dd8c324b86","datavalue":{"value":"finite structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639057$FF8FA870-8DA9-48E4-9E69-4FFE65EBBAFE","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":"Q2639057$9D8C4C50-DFFC-4DF5-9907-441E2BD36386","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75c85dfe6499c2fa49e353682c5b1150d683622c","datavalue":{"value":"https://doi.org/10.1016/0890-5401(90)90006-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2639057$60F0193E-E945-47DF-9565-34C17AE4E35D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8693672f7ae80384b0a29c01454ba56c08609747","datavalue":{"value":"W1967986305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639057$2BFDB082-8D83-4720-9EFA-DC360FB56559","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"91208a440a6eff9bc47ac1adcf40a48d3c5ee83f","datavalue":{"value":{"entity-type":"item","numeric-id":3778681,"id":"Q3778681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639057$D600EA22-50A4-48F4-AB38-34A6AC052000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e95288fb3703a153af69a0fa87ef12ad85fe48","datavalue":{"value":{"entity-type":"item","numeric-id":1088983,"id":"Q1088983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639057$584B4846-EA64-4541-925A-1C7C76C7A59B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639057$48DE726B-7BCB-4FD9-9C8E-77BA631E85A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"632317fe51438065bf57941f71730a4664ec3cc8","datavalue":{"value":{"entity-type":"item","numeric-id":3758820,"id":"Q3758820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639057$F7E4AFB5-58E4-49B6-A4AD-DE95A7CD35F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5ed5cf1250814a5e584c109ec7d15def62f14cf","datavalue":{"value":{"entity-type":"item","numeric-id":1090327,"id":"Q1090327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639057$3012411D-AB2B-405A-9F53-7525F6A421E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a675fab4321817783597d6a1b8160efcb24c4ec","datavalue":{"value":{"entity-type":"item","numeric-id":3753525,"id":"Q3753525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639057$F0239EC4-AB3A-48A1-980F-A4290CAC36EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"713f64a492a2aca46d9fcdcf99b677ef28cefa55","datavalue":{"value":{"entity-type":"item","numeric-id":1176286,"id":"Q1176286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639057$FFE21897-9E9B-4627-B369-1C2DFC08C8D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bab358c92256243f420d7acaf3d76a80fa6e7b63","datavalue":{"value":{"entity-type":"item","numeric-id":5622175,"id":"Q5622175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639057$4658879A-844D-42C8-8E82-E591AB3BDE03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fa762974e3cb0286b2a40e5214b429aa00cb948","datavalue":{"value":{"entity-type":"item","numeric-id":1217684,"id":"Q1217684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639057$9E584D16-E41E-4162-A440-9DEB36981907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6667d29690da802e41dbaa0f1f4db3280cf4b19d","datavalue":{"value":{"entity-type":"item","numeric-id":5815606,"id":"Q5815606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639057$EAAFF96E-9FCA-4BA3-A833-A05905A59032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27c43b7e3610435da5759ec0170acf5a3e0de1df","datavalue":{"value":{"entity-type":"item","numeric-id":5797034,"id":"Q5797034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639057$94F7478F-F1D9-4A8F-A190-AE3AC7EC83F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee551284211c0c7eb59b86d9972bb28d3a85a796","datavalue":{"value":{"entity-type":"item","numeric-id":1893734,"id":"Q1893734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6798ff3cd2dbdacb111a3eecbebd955b120953cb","datavalue":{"value":{"amount":"+0.7562474608421326","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":"Q2639057$441D6177-D175-46A8-9AD2-35CA84A731AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5449d23acd92310c99e31994617633fbe5e5a66","datavalue":{"value":{"entity-type":"item","numeric-id":4283240,"id":"Q4283240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab686f84d2ba5f967fbc4591bd43af5c25efe4f8","datavalue":{"value":{"amount":"+0.7467373013496399","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":"Q2639057$29960228-931D-40A5-89F0-A891D3E3D531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d90b3189154229a6e33a63e87c623676f20a584","datavalue":{"value":{"entity-type":"item","numeric-id":1101106,"id":"Q1101106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65918c0c23a3d2fda2f9dc1892f6db4bec221eb3","datavalue":{"value":{"amount":"+0.7447391748428345","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":"Q2639057$CB3497F5-19A6-4F18-8AD6-8B026470300D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a79e4f9ab50d61ed04b514c227e283bce506511d","datavalue":{"value":{"entity-type":"item","numeric-id":3365539,"id":"Q3365539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7182b6acd68961ac164c98e6500c4fd80ea4c892","datavalue":{"value":{"amount":"+0.7391445636749268","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":"Q2639057$913519C5-7730-47E4-8BA2-9174480AB820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea0486a0b1c99d4a06bfa40c1ddba6a87bb457be","datavalue":{"value":{"entity-type":"item","numeric-id":3797174,"id":"Q3797174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a09c932d47b80362123a96f77786a152e78b0b7","datavalue":{"value":{"amount":"+0.739095151424408","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":"Q2639057$108E0AC7-A4E8-4973-9965-B54D26D6A34A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2639057","badges":[]}}}}}