{"entities":{"Q6149964":{"pageid":13284271,"ns":120,"title":"Item:Q6149964","lastrevid":39729486,"modified":"2024-12-30T17:55:18Z","type":"item","id":"Q6149964","labels":{"en":{"language":"en","value":"Fixed point logics and definable topological properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7813377"}},"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":"Q6149964$FE682921-9CBE-48CE-A291-DD640ADA4ACB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"853dd701c12ef8c493267b92a12ffa2200734ac6","datavalue":{"value":{"text":"Fixed point logics and definable topological properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6149964$40C3FF59-49ED-44E8-9600-FCB1585F5D12","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ec2ee5f3fb3ad4b04ebc27b1a49c143dcadb098","datavalue":{"value":{"entity-type":"item","numeric-id":385071,"id":"Q385071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149964$AF766BEF-CB4C-477B-8EB8-FC6EE0CD55BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69e3d7588d1091de47c6f2258bafe95ac473a9cc","datavalue":{"value":{"entity-type":"item","numeric-id":5884939,"id":"Q5884939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149964$FBC6A47B-ECA9-4B2C-B9AF-A9A12DBD422B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149964$C0053730-93FF-4D77-A6B2-94DD8A1E6C33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c36f49e8b4c980a4dd1d9ff655af85a597603033","datavalue":{"value":{"time":"+2024-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6149964$D3608504-2379-4BE2-9071-86969B2C7920","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6149964$7E38C89F-0270-4556-8CBF-52AD802481D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35ca6da56e44ee1f1ad93b13aaf17fabf4fcfefa","datavalue":{"value":"7813377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6149964$7490A710-EE48-4540-8EE9-9728D964B2E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7aa3fdbdf3b7584bcd007098b5e184978502a1cf","datavalue":{"value":"mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149964$50B0AF07-F2EB-4624-9E92-2200B91C288F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb700dd1ca996a57ac301a0518cdd9b2f470ccfb","datavalue":{"value":"expressivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149964$5537B630-9C7A-49F3-B505-4433086ED583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"827b845d5e543bed4cf2f3d0c25bddb70759060f","datavalue":{"value":"topological semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149964$9703DFA7-F5CF-44FF-AB18-18643BFD942A","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":"Q6149964$41B24115-3E13-4B73-A0A4-0C461934CA2F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5408abb7ea427203ed438e8c0f4c155f1b865110","datavalue":{"value":{"entity-type":"item","numeric-id":5144634,"id":"Q5144634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149964$201A2125-532F-49B4-8594-F34DFBEC4642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36ee5fdcd591b5e712898d66bccba4d0cc23af4c","datavalue":{"value":{"entity-type":"item","numeric-id":540406,"id":"Q540406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149964$A385A57D-D3B2-423E-8A65-DCA8F5D7261A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149964$BDF42DBA-2347-470A-A931-FEE1508BD061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149964$64670CC5-6CD6-4C26-9709-BD417516EBBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11ab6472b1c48b02dcbf6aeb50a7e64d4ee11e19","datavalue":{"value":{"entity-type":"item","numeric-id":598307,"id":"Q598307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149964$E90C7454-7CE2-49AB-BA03-2B0FA77A622C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2134e0f82a24bd4337f31e9088b3bb5d93ac13bc","datavalue":{"value":{"entity-type":"item","numeric-id":763328,"id":"Q763328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149964$03609264-D9E4-430F-A3FD-060D27093F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62d36ec02a04eb23bd9c03ac5ba27499e0c8e77f","datavalue":{"value":{"entity-type":"item","numeric-id":5869540,"id":"Q5869540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149964$3527B44A-2EA3-4AA2-9C8F-E6ACAA79E095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f33f49071215bd1fb16f87f68dd7a73a48caaf0b","datavalue":{"value":{"entity-type":"item","numeric-id":515566,"id":"Q515566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149964$95F62C81-9AA8-48CA-822E-EF4E4FCB947F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37fa684e382611f3030f696b2609654171da8a21","datavalue":{"value":{"entity-type":"item","numeric-id":1708103,"id":"Q1708103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149964$AC1CB802-DB5F-43DD-B103-17DDECCDAC49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149964$5F9B126C-05DF-4CF8-8E08-A8CDC8788852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9004f70faad4e787e437cba376a32dae0e519651","datavalue":{"value":{"entity-type":"item","numeric-id":5255799,"id":"Q5255799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149964$EE2F2AD0-1BFB-49B1-9A59-1299CE932893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a3c80b500a26b9f2863ab05df3b7d3242e9625e","datavalue":{"value":{"entity-type":"item","numeric-id":925850,"id":"Q925850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149964$669E40D7-0274-4676-A347-8B1443712E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52cc0a1af3db5bb1682b803cc71ecf7791eadfaf","datavalue":{"value":{"entity-type":"item","numeric-id":638475,"id":"Q638475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149964$C7FE6F30-4B43-40F1-93D6-58727A8B46E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"888e656b64c352f98e2fdeb1c14e7f5ef2ed3b3c","datavalue":{"value":{"entity-type":"item","numeric-id":4531583,"id":"Q4531583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149964$E2585E17-8A7F-4FE0-B090-2EAB657EE618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec39c4ba48368fe55c340c99f72435d76d7465e0","datavalue":{"value":{"entity-type":"item","numeric-id":2433098,"id":"Q2433098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149964$06F83FA7-7CC3-4712-AF26-6CC0E13B4403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a659b2cbd537713eeed2150669304c9e3e0f0e","datavalue":{"value":{"entity-type":"item","numeric-id":1854336,"id":"Q1854336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149964$C82C5F01-CF53-4FFD-8687-75B705497F9E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d4120969f8bcccdddcd354c7e55513a3263d938","datavalue":{"value":"10.1017/S0960129523000385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6149964$7509E1BA-F5BC-4C1F-B1D5-12B98C53AC45","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6149964","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6149964"}}}}}