{"entities":{"Q3514639":{"pageid":5544543,"ns":120,"title":"Item:Q3514639","lastrevid":50407799,"modified":"2026-01-13T23:59:19Z","type":"item","id":"Q3514639","labels":{"en":{"language":"en","value":"Weakly maximal decidable structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5302961"}},"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":"Q3514639$347E88C4-2961-4039-9E98-F9E99D2BB2FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3e0d71659e875c6f20d5cee11dd2df352bba65f","datavalue":{"value":{"text":"Weakly maximal decidable structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3514639$26C01C6C-A54C-4861-9C2F-7A1BEAB49765","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dce9c8a3953f1527f85b66997000243080049f42","datavalue":{"value":"1149.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3514639$BAD9F4A0-8FC3-460E-B015-DCA52E01224A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d6e3958ecd59ef8308845d606e8ada7bd937463","datavalue":{"value":{"entity-type":"item","numeric-id":782562,"id":"Q782562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3514639$E5C317A1-02A8-47FA-A711-25ACCE626B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"069c49ed07632856093c11f7cbd999f5a3f4b4c9","datavalue":{"value":{"entity-type":"item","numeric-id":1401348,"id":"Q1401348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3514639$6B002E9C-D5C5-4CB5-B8DC-BC825E1FCA16","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb11a7d64aa2e2ac6f5f0a641dfeb8e0525b889d","datavalue":{"value":{"entity-type":"item","numeric-id":2720405,"id":"Q2720405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3514639$B7F2CE96-BCA2-426F-8E39-96AB8852E83E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ef23f451c63fbed589b4692fdb97271c9dafb789","datavalue":{"value":{"time":"+2008-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3514639$191A551E-5E27-49D7-8572-FD63B1CEE987","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8fd3af9b337d7cc9cf433828d9e407d65623ece6","datavalue":{"value":"http://www.numdam.org/item?id=ITA_2008__42_1_137_0/","type":"string"},"datatype":"url"},"type":"statement","id":"Q3514639$E698A7F4-14FF-44C3-8234-6F7C18C645B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"508e3467a59fec6c916307d54b37fafd9b5db1d0","datavalue":{"value":"https://eudml.org/doc/92856","type":"string"},"datatype":"url"},"type":"statement","id":"Q3514639$C6ABE7E2-EB2D-4E79-92C3-2DEDA6496E3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3514639$6BE60553-F712-4A90-9F77-9B0AF9B77495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3514639$B2ADA30F-6DFA-45FF-824E-7F9CBAE92709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3514639$6DED9C1E-6D98-4D42-8812-AF07F18BDCD0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2081521e247842b56fec94af820d705cd29567d4","datavalue":{"value":"5302961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3514639$BA055639-B923-4C9A-B72B-2B05B4F89265","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58f8ea21cf1043ad00382a112f88954b4cc064c7","datavalue":{"value":"logical structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3514639$C018DD4E-5FF2-4381-8333-8F10CF1F7B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3514639$9EEC7C81-CEFA-42E1-AA67-78AABBC948E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7aed33d1e9d699fd20d216f7549dbeda138e0bbd","datavalue":{"value":"monadic second-order theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3514639$1802F0AA-AF98-48F6-8A33-CB2ECE4E181F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"210631db67ebcbfba3423ed211f7646e271d9490","datavalue":{"value":"maximality of theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3514639$80C1D614-84B0-45F2-A176-55389A02BE7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"516dcd5dafa2606e2eb6922b7926872afc09c4e8","datavalue":{"value":"definability in logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3514639$4A3B39CC-6A81-4DCA-85F1-9320FC843260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3514639$7B4B6C73-FC6A-42FD-BC7C-DDB55F5709C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05ac3aa141a5e99f6d4ec0321d581483dfafb5e9","datavalue":{"value":"finite automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q3514639$9B43CC66-1B87-4F4F-B7B2-619CDB539AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d7db6223680257382e830fd97fee415943fe9bb","datavalue":{"value":"recognizability by automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q3514639$DE75DF06-07DF-4441-8F0F-F274AF39DE75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"576513b27c89ce22b095b95a4e7f50aa6d98bce0","datavalue":{"value":"relationship between definability and recognizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3514639$D3191698-05D0-49A1-A8F0-F0D492D74279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3604df4a57c39d0c996bf3da8ef81ae5ce450997","datavalue":{"value":"rich words","type":"string"},"datatype":"string"},"type":"statement","id":"Q3514639$B8CA93D3-DCF7-4611-A305-BAF4110A7A0E","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":"Q3514639$A306F059-E6DA-4E5E-B502-3425F6E0C8BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f800f3865739e7749905f24d7570959ea219d1b5","datavalue":{"value":"W1975036041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3514639$C23210FC-A971-4502-BEDB-01CF3DC63B77","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f84c82de96fb7c7b710e84da042fa6d2d7d4ea68","datavalue":{"value":{"entity-type":"item","numeric-id":5520636,"id":"Q5520636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3514639$97C61695-46F5-4B03-A4AB-B27A233263D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a0035cf4540a200f752e67616ee09960bd2d41","datavalue":{"value":{"entity-type":"item","numeric-id":3261418,"id":"Q3261418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3514639$729A09BE-3A25-47E0-B12D-83ED364FDA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b270af510dbfda71be9dc821d0ca34fb63ce8707","datavalue":{"value":{"entity-type":"item","numeric-id":4432545,"id":"Q4432545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3514639$5AE532F0-F360-44A0-8F73-BD7ABFBE86F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c74e20c9157021aaf7d8167c88d779be5f8df1","datavalue":{"value":{"entity-type":"item","numeric-id":1233019,"id":"Q1233019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3514639$E3AC4579-D822-4524-882A-8B76E9BA9211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad48028ffb7cd3fb3bb9d0b5903e6483d7a35ed9","datavalue":{"value":{"entity-type":"item","numeric-id":3816047,"id":"Q3816047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3514639$F4D1547B-9F11-4C27-BECC-F176C75E13A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"032081ebc56e1f76052b36c596c3a3c1141f05b4","datavalue":{"value":{"entity-type":"item","numeric-id":1243711,"id":"Q1243711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3514639$9E5E3D4E-AFB5-48E4-AA86-1B40CB41DEA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5444d62b61ec4f0092db6e9182c1367d48f1504d","datavalue":{"value":{"entity-type":"item","numeric-id":4362730,"id":"Q4362730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3514639$EE7532AA-C23A-4016-AC1E-1505EC24267F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a54a638fd56b82daee5e3cee25b60f196887e969","datavalue":{"value":"10.1051/ITA:2007044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3514639$99EAE55D-3318-4CB2-9EF4-E5C88A8F4449","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14f02487093b360f17abd9d664a5ece60efaa8e8","datavalue":{"value":{"entity-type":"item","numeric-id":3816047,"id":"Q3816047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98b11793c677a9c23cb2738747dd201b832b9fa0","datavalue":{"value":{"amount":"+0.837846040725708","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":"Q3514639$BC713DA1-B5D1-4E49-B1FA-233BD0DA535F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2164ba8d5d90f07418db704a012d16a10a82fd8","datavalue":{"value":{"entity-type":"item","numeric-id":843596,"id":"Q843596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ca714cc31b29b6ba30a8e458878077092bb6609","datavalue":{"value":{"amount":"+0.8138339519500732","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":"Q3514639$28C6BE3D-8697-43E6-A82A-2C4EB95D4123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"914ec896ea7cc02c97f9b1a1fe76624b1e01e085","datavalue":{"value":{"entity-type":"item","numeric-id":2892678,"id":"Q2892678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9b07818c939afd0a5391a4e7f008b81b24ac738","datavalue":{"value":{"amount":"+0.7673673033714294","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":"Q3514639$F92526EA-D9CB-4889-9C45-6DAE9E8A1B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a52cad077ea17b0de40f985f028fe8312ea7c680","datavalue":{"value":{"entity-type":"item","numeric-id":4038533,"id":"Q4038533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f1e224414dcdf3d55ecdb8f460c54f66777808a","datavalue":{"value":{"amount":"+0.7430585622787476","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":"Q3514639$2F15FFE1-B85A-458A-A5BA-0F13D3774D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c89c2fe17349cd29da7a1ca59172dcd9f5d2529","datavalue":{"value":{"entity-type":"item","numeric-id":3976371,"id":"Q3976371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f1e224414dcdf3d55ecdb8f460c54f66777808a","datavalue":{"value":{"amount":"+0.7430585622787476","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":"Q3514639$E20DFA6E-A820-4364-B705-12E7B7CE7A35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3514639","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3514639"}}}}}