{"entities":{"Q4371697":{"pageid":6401296,"ns":120,"title":"Item:Q4371697","lastrevid":46984149,"modified":"2025-12-26T00:05:28Z","type":"item","id":"Q4371697","labels":{"en":{"language":"en","value":"Fixpoint logics, relational machines, and computational complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1106143"}},"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":"Q4371697$7A8F6543-DCCF-42D1-BB74-EF969D534855","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e9aba0918e5ead26624a066690fc6e459d351d6d","datavalue":{"value":{"text":"Fixpoint logics, relational machines, and computational complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4371697$1C5EDC58-5D1F-4C45-9065-82F3F88908F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b9f33d778c169d1478245383c47a2d5da01edfc4","datavalue":{"value":"0883.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371697$0B0830DE-4151-4D3E-8AF9-81B1612D1266","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e515746008a215db3ed516ab2abd3ec0c8531c82","datavalue":{"value":"10.1145/256292.256295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371697$27E041D3-AC00-42C0-B165-A2C16973EEDE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c22e7097f99e26c20e55611d3e4c29e5f205dbe","datavalue":{"value":{"entity-type":"item","numeric-id":269309,"id":"Q269309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4371697$E93F4273-387C-4290-810F-32244D088092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4371697$4475A9DA-4967-4148-A178-35B10B89F544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6229ce91bd04dfd8e4a4b2051753c370a830dd6c","datavalue":{"value":{"entity-type":"item","numeric-id":269322,"id":"Q269322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4371697$C3EA53AF-3489-4508-B8C5-DE267DADD330","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4371697$7B66B114-C8E8-48BC-8B0C-C57C57C9545C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3669eb6a950eb8b7e2a30d8a8d1d225ebc1eee0","datavalue":{"value":{"time":"+1998-01-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":"Q4371697$86892810-819E-41BD-B26B-6B2A00F0DBDA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c44fa1c3597944a6601c7493edadce5f85f8481","datavalue":{"value":"http://www.acm.org/pubs/contents/journals/jacm/1997-44/","type":"string"},"datatype":"url"},"type":"statement","id":"Q4371697$306B8218-6572-4781-8D35-916E3296898E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371697$513241EB-84FD-4EB9-BC8B-A8A0C739A247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371697$179D2BBE-0A0A-44D6-8B18-CE954D74B511","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd81e8f0ea7ff5a6c59618171f5c6a27e5158263","datavalue":{"value":"1106143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371697$E35F94EE-744D-4F1A-915F-BE47358FEAFC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2baa565f2f6e404ad2d47723b10d9eb8c186122","datavalue":{"value":"fixpoint logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4371697$02026F8E-8951-4323-AFB9-22EEF24C4505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4371697$EA9B7A67-C41E-4602-A15F-F06C9F3302D9","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":"Q4371697$D46F5ABB-6676-45CE-8F40-E33A9D9E7890","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7fde1ee38a1d4e1f6ab686d2bb15ab82daae76a5","datavalue":{"value":"W2069462712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371697$53D34850-EB96-4729-B345-10D9BAF39ADE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba6c86cde344c7e56cfed26c2a1a0ceecdebe841","datavalue":{"value":{"entity-type":"item","numeric-id":1892224,"id":"Q1892224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa36ac77d0b99d1802c612089b3c2f4af142c466","datavalue":{"value":{"amount":"+0.8103925585746765","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":"Q4371697$5B783EE9-4297-43E3-855E-0B94EE44CF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"587553d2fea14f83e8a1020120a017bb9c111221","datavalue":{"value":{"entity-type":"item","numeric-id":4879905,"id":"Q4879905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6adb4ca11e51b2b1cc03e0aca6cfff8adadfb4b","datavalue":{"value":{"amount":"+0.805399477481842","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":"Q4371697$2546584D-7FE9-4787-BD50-BAF8C1D9ACA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d03ca06e9ba3367021997563586348d9eef5557","datavalue":{"value":{"entity-type":"item","numeric-id":1744448,"id":"Q1744448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a3b83bfb1b692059967440df44edeee37441fac","datavalue":{"value":{"amount":"+0.803501307964325","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":"Q4371697$003B7F39-A4E9-43D2-9DDC-A7C6BC48D365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0984c2055e7f215897c5b8b9cf5fe664c8a8426","datavalue":{"value":{"entity-type":"item","numeric-id":4210768,"id":"Q4210768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6ece2862fc5abbb0830f18c08fcdf5ccf2185c7","datavalue":{"value":{"amount":"+0.8028711080551147","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":"Q4371697$59FD8F79-1756-4687-8B66-FFCBD21CDA93","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4371697","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4371697"}}}}}