{"entities":{"Q5311269":{"pageid":7340843,"ns":120,"title":"Item:Q5311269","lastrevid":48533206,"modified":"2026-01-05T03:26:49Z","type":"item","id":"Q5311269","labels":{"en":{"language":"en","value":"Computer Science Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2197065"}},"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":"Q5311269$9CF61191-C765-41EC-826B-7F1DA6A3F8D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad022184a1fd83344f48f6051574ac5d36e03383","datavalue":{"value":{"text":"Computer Science Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5311269$E2CAA3A6-0F76-4DB2-B45E-75F495C45FB8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d0a6ce0a194958561d3b2db8766b14cd99f072e","datavalue":{"value":"1095.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311269$71B59939-5759-4D0E-9174-F60515DB683E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d8dbf8a422ba241ba30385e9f7364511ba076a8","datavalue":{"value":{"entity-type":"item","numeric-id":313798,"id":"Q313798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311269$45192A62-B994-40E9-BB33-1A61FC97E0BB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311269$3371034E-95C1-4EC8-A73C-274A9F0727E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1dd83e30b5291de8829d091c1ba44aab3df736da","datavalue":{"value":{"time":"+2005-08-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5311269$EFA89C55-A76F-428B-9EA1-25B85BD6C95E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311269$0C0BC20C-61ED-4B9B-ACD4-4D3AAF31CD50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311269$DDCBA8DA-2289-499F-AC4F-82F782B57A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311269$ECF30807-5756-4F1E-851C-1EB8AFE9C355","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6fc156b279812d53fec4e2cbe0cdeb354bd4ad1","datavalue":{"value":"2197065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311269$4633D6EE-8FF1-478E-AFC4-A87CA5CF4B8A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2509ce734c1f121f948a7aebecedc1f6d73c34c","datavalue":{"value":"Finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311269$BBEE64A3-0DDE-420D-ABA0-471290421CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"420132b0a86bb9bedd0eeeab0b7b74055a6e96fb","datavalue":{"value":"descriptive complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311269$8FB7095A-32CA-4AA4-9B7A-24E51CCC8628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d496048a43812b4679aed4e97d2ca866eec0243","datavalue":{"value":"choice operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311269$2CA000A3-3A1C-404E-95DF-9BFF026D194B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05991c3b2609104f5af9b1c5581a389a9f19e457","datavalue":{"value":"partial fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311269$D22BD3FA-364B-406B-A6FD-194D82C438A2","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":"Q5311269$1305F97B-71C4-4578-B15F-CB624825A3DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5fc1961675d6f9ad1bf08478fa8b6ea94c5358ec","datavalue":{"value":"https://doi.org/10.1007/b100120","type":"string"},"datatype":"url"},"type":"statement","id":"Q5311269$F423A6EF-7664-4D60-AD78-FD7A5236C91B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"037b92d209c09e403b5028445faba68ef705f470","datavalue":{"value":"W2481899496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311269$A4A7E7A4-CE58-4C35-8BBC-A7DFCB9BEC8B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"25e6c456a79e396869f0fe4cd1dcac9a0edb7913","datavalue":{"value":"10.1007/B100120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311269$E12AA120-5842-4650-AF78-091CE41A3601","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a64575ffa29467edef0880a7302fd04e8cff956a","datavalue":{"value":{"entity-type":"item","numeric-id":1323362,"id":"Q1323362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8181046bd6490de5bed2a2cd3266b2048cbdb7c9","datavalue":{"value":{"amount":"+0.797232985496521","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":"Q5311269$07AEBC4B-2C4F-47BF-94A4-17E8D967FD1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64f73de153dd8a3c7f3244c7b39501b8dc105275","datavalue":{"value":{"entity-type":"item","numeric-id":287159,"id":"Q287159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d00cd1c651fc23e571cad6b0bf4b154f4eda65d2","datavalue":{"value":{"amount":"+0.7845000624656677","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":"Q5311269$FCF4E41F-A136-458F-AADC-C257F7ADFFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25eaa9d75ec8a7847e2dd2867044402f08e24b8b","datavalue":{"value":{"entity-type":"item","numeric-id":4519749,"id":"Q4519749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed6cfd50c8edb085c6d837c6835ff5c678b178e8","datavalue":{"value":{"amount":"+0.7750881314277649","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":"Q5311269$F3B669A7-9D9F-4D11-A2BB-59D18BFDFAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"430dd206dd8a23e4d6f9019a0a1e7772e4551c87","datavalue":{"value":{"entity-type":"item","numeric-id":4842629,"id":"Q4842629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed6cfd50c8edb085c6d837c6835ff5c678b178e8","datavalue":{"value":{"amount":"+0.7750881314277649","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":"Q5311269$3816C041-C9D5-47E8-9A72-16B82EBB9375","rank":"normal"},{"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":"f983d1138bc6be8ff30de82d88a8eb3e4beafe17","datavalue":{"value":{"amount":"+0.7691882252693176","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":"Q5311269$227E0810-5B9F-45FC-A5EE-C518BD75B9E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5311269","badges":[]}}}}}