{"entities":{"Q4340419":{"pageid":6370019,"ns":120,"title":"Item:Q4340419","lastrevid":88951253,"modified":"2026-06-04T15:56:05Z","type":"item","id":"Q4340419","labels":{"en":{"language":"en","value":"Existential least fixed-point logic and its relatives"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1019358"}},"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":"Q4340419$634C6932-3C8C-4E74-8C86-1D877631CE99","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9acd5d74cdd2ce66729d93b537b358b5763416e6","datavalue":{"value":{"text":"Existential least fixed-point logic and its relatives","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4340419$5E6A606E-CF16-4391-8135-B03F853D04C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"383078a662f4ef3759f6e7c6e02215811abe90d6","datavalue":{"value":"0880.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340419$495055BB-C95F-45AD-BC46-FBD43591BBDA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e472eff586da807ef811f77707a93e380b6a974","datavalue":{"value":{"entity-type":"item","numeric-id":414932,"id":"Q414932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4340419$EEE1E207-BD62-477A-A643-A21C1974761A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dfb3a2440187ce324054f87424416efa61e67ba4","datavalue":{"value":{"time":"+1997-06-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":"Q4340419$8AAB1428-C0D4-4BF1-B081-E6162D849C67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340419$C6BF247A-55F5-496B-B080-A79E80841B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340419$38C9FBD2-D735-4DF7-A56B-89CD063C735F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340419$65771BA2-C504-4325-9172-C7D5D01DDE1F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e4f863ffed98fad3ee6369099efb9fa52aea246","datavalue":{"value":"1019358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340419$4613ED36-FB43-4B22-9110-FDD33C79F087","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340419$202576BF-14C3-4EFC-BC0E-BFBAB05B8F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70069efd410315900f2bf16a0133ae36112e66f2","datavalue":{"value":"inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340419$518A8EB3-A055-41F7-951C-ED8ECD5FB6A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb669f092bdb01d5dcfc844ac5c1d03cf9431016","datavalue":{"value":"generalized quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340419$F47DEC39-755E-4B97-A25D-F4838AB72FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340419$EB5ADCE4-0B9A-4CDF-AF67-951A0811B344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5a82f0af86e7e5edd1283ba21143d937f8b1f2f","datavalue":{"value":"existential fragment of fixed-point logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340419$B7D995EF-61F5-4877-836B-8A054806BE3E","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":"Q4340419$444F9D06-6D76-4450-9976-0D5242631EE1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5239ee1fbae1ad5c477b7ac1235e97df6a6d6051","datavalue":{"value":"https://doi.org/10.1093/logcom/7.2.205","type":"string"},"datatype":"url"},"type":"statement","id":"Q4340419$CC633C36-2A26-43F1-9DD9-B4F850A1BBF6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b6d64cd2a2948f94c88a1e9c53eff00000511a8b","datavalue":{"value":"W1991397512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340419$99774DCD-9D08-4B10-9DF4-F5AD82397BE1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa08fcb857ecb211c4bd93792874102f7a12d3de","datavalue":{"value":"10.1093/LOGCOM/7.2.205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340419$2776534E-CC60-4436-9F5D-F533915904CE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4340419$DE0323E8-6BB3-4407-896D-9436F54E0899","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0db5a169a9fcf5994a8c82222b9b2cb818408a33","datavalue":{"value":{"entity-type":"item","numeric-id":4532728,"id":"Q4532728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"294e56c366cd6e7a715ef1556bb2932365e3a94f","datavalue":{"value":{"amount":"+0.8232725262641907","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":"Q4340419$01D05DA1-C023-4672-BDB0-14FB88075EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad6f7899ee423a104b2571161de1dd553c4faf2c","datavalue":{"value":{"entity-type":"item","numeric-id":4283233,"id":"Q4283233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bafbb630b7177d713839bbb671e4f239a847a89","datavalue":{"value":{"amount":"+0.8069415092468262","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":"Q4340419$D5608889-6C84-400A-8B42-552FD2BCF463","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":"48a5f1db7010514d3c620b185a56d89f7c522b6e","datavalue":{"value":{"amount":"+0.8052466511726379","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":"Q4340419$DAF57AEC-2501-405F-A28D-EAD3AA06BA88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a946db2baf7ec6dea79b03260c67965169fe9fc","datavalue":{"value":{"entity-type":"item","numeric-id":3791123,"id":"Q3791123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a2b7e6f4b5341ff25d8ca22c587671479a64d8f","datavalue":{"value":{"amount":"+0.7980954647064209","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":"Q4340419$DEC0B748-463D-42DD-A557-158CB3C1F77D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Existential least fixed-point logic and its relatives","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Existential_least_fixed-point_logic_and_its_relatives"}}}}}