{"entities":{"Q3613175":{"pageid":5643081,"ns":120,"title":"Item:Q3613175","lastrevid":50603132,"modified":"2026-01-14T13:11:04Z","type":"item","id":"Q3613175","labels":{"en":{"language":"en","value":"Approximate formulae for a logic that capture classes of computational complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5528064"}},"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":"Q3613175$69C257A3-4F70-44CA-9127-AC926983FFE9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0f1dfd189d12b8666fad995b92506412856e9e8","datavalue":{"value":{"text":"Approximate formulae for a logic that capture classes of computational complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3613175$87653FED-7C47-4964-AEF6-969E3CD066A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d3c507d7d39313bd03e79954274bc517d8f8134","datavalue":{"value":"1155.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613175$F4DF1906-AA09-4A2D-94E7-A5AB1EB553FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"072d5ed02adde650e4174bacd84fac45ba858b80","datavalue":{"value":{"entity-type":"item","numeric-id":2192794,"id":"Q2192794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613175$84EE5C2A-B9FC-4DF9-AAB8-D180460B0B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01dad297294b1b7ba0b88eae4eca5200cbdeb002","datavalue":{"value":{"entity-type":"item","numeric-id":1401217,"id":"Q1401217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613175$A4A3BB52-96A2-40A5-A95A-8E0679C2BEB1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a864b5d6abdacf3ccff048e2a2e153fd9fb65d1f","datavalue":{"value":{"time":"+2009-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3613175$6E4F3293-953F-4C89-9054-746F37C74774","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f7422f8e1d95f76db69831ff45cafab133bd2eda","datavalue":{"value":"http://hdl.handle.net/2117/8034","type":"string"},"datatype":"url"},"type":"statement","id":"Q3613175$C84FC802-D1D5-4B59-9496-CA072B5CE801","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613175$5EC70F99-0E8C-452A-8727-B4619FB38404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613175$401F4D34-8E23-48BC-8B87-1DE6E4011851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613175$38D8F025-C9BE-4887-A83C-8593398D029F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613175$90D8D334-8EF2-4B0E-B718-876CCF53F609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613175$9CAECF94-4571-4F17-B1AE-03B41A1D6F50","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21cce344894b330adf8fd2bf3efb849fb8d49ac8","datavalue":{"value":"5528064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613175$10E5ECFF-E2AB-471B-9523-FBDF092E935D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73ddf9a0c6c3e48fed41a58a918aeddaa12499d3","datavalue":{"value":"proportional quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3613175$EAB852F1-C3A1-49A4-95F7-76696E221E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4570e2b40cf45e3ff691ff4ca19e3638a984123","datavalue":{"value":"approximate formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q3613175$EC877F6F-280C-48EF-81E2-808AB29C7486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ffc4e1af8f04ad3fe62b777305dfefadaab05a7","datavalue":{"value":"almost order","type":"string"},"datatype":"string"},"type":"statement","id":"Q3613175$60DA91AB-D630-4425-8C7A-5C4B7DD73029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3613175$2ED09F7D-4CE2-4AE9-82E7-BC3A6202724E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3613175$151B0643-7E70-46DA-A46A-8E2A069FF860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c90dabac5ca2a3b4f523fa6eed5fdfe603bc0e7c","datavalue":{"value":"P","type":"string"},"datatype":"string"},"type":"statement","id":"Q3613175$CD90B504-C04D-4E5B-9BDA-21E266560E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"045158f0cd5d70468e5b59b989c58725b87a1563","datavalue":{"value":"NL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3613175$07513235-A82E-42E0-8EF3-609B8B248317","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":"Q3613175$E7298C9D-0449-43E0-BD99-9912BE541195","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ffa8285dd356805b3dc0c5c50eecb168c0a16380","datavalue":{"value":"W2072189956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613175$84572677-B4DF-4D9B-8DF3-5BAF561600D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d642b44458d9ae2f3e65deb06276e9d9c108bfb","datavalue":{"value":"10.1093/JIGPAL/JZN031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613175$6F87F048-90D8-47D0-BB12-02B63DF3835B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613175$EB0FBA5B-ABE0-4762-B961-2A2194349AA1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f482b432a69f4b54cb1b020f0101b612a18a0259","datavalue":{"value":{"entity-type":"item","numeric-id":5901673,"id":"Q5901673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5617b933445318279e03c8c0612c1f775690398","datavalue":{"value":{"amount":"+0.7962774634361267","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":"Q3613175$FB66E880-EE22-4046-A814-189AE3EE49D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"514b6655b9a77943ab78c598874463cb1a12577e","datavalue":{"value":{"entity-type":"item","numeric-id":3431975,"id":"Q3431975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b58735563da1708280bd73833095079c183f6012","datavalue":{"value":{"amount":"+0.791233479976654","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":"Q3613175$9E99821D-E6B2-4E9A-9B05-F6546D358C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"844f93d7ce28eb3cb5cf8bcbf7a6dbace58d6936","datavalue":{"value":{"entity-type":"item","numeric-id":3525752,"id":"Q3525752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24ea2ae6e61f55e74137f921096f7600e7fbd356","datavalue":{"value":{"amount":"+0.7669424414634705","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":"Q3613175$3608C460-5B97-402F-BF82-68E27616D024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c370c38dc3cc02d897b1ba8a0dc6bc5072f0dbd","datavalue":{"value":{"entity-type":"item","numeric-id":4644504,"id":"Q4644504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"effca22f086e5aae62501c2449bc424074ebafbc","datavalue":{"value":{"amount":"+0.7343796491622925","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":"Q3613175$24FC079E-D0F8-4773-AE22-52970F4B639B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55f407d4659abffbdf8f21957fdf26898e1eeaf7","datavalue":{"value":{"entity-type":"item","numeric-id":4783303,"id":"Q4783303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1adb15a7a7382ae644940836a67514f79c1b6805","datavalue":{"value":{"amount":"+0.7242099642753601","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":"Q3613175$CFE775EA-53B3-42DF-857E-99006381D80A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3613175","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3613175"}}}}}