{"entities":{"Q4255575":{"pageid":6285176,"ns":120,"title":"Item:Q4255575","lastrevid":41852551,"modified":"2025-05-09T02:02:57Z","type":"item","id":"Q4255575","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1324669"}},"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":"Q4255575$5EC0D625-5694-4102-AE89-E94CF5E09B12","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7fb38d1bad4ae6bab62d7416e03a65e150ce12c7","datavalue":{"value":"0932.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255575$4D08EC15-CC0E-4CE7-9EE8-5102AB2A3812","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5866f2312a96c68937ecd247ca8e2756e26159f0","datavalue":{"value":{"entity-type":"item","numeric-id":1201998,"id":"Q1201998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4255575$755DBAA3-D921-4955-92B1-7211DC8F4F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"533e6a2f2483a32398b8daadaa250165970e45d9","datavalue":{"value":{"entity-type":"item","numeric-id":490658,"id":"Q490658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4255575$D30A6A08-C79A-4699-993C-B4C2805B1BFF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a8644b3f3170c33297fd848370044d7764102e51","datavalue":{"value":{"time":"+1999-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4255575$39F27CC3-487C-436B-A6F1-27DAB20B5BB3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255575$EDC1C098-A2BB-4A47-84A0-7237D63ED510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255575$55078746-F851-48A3-9A9E-802B5E1C6C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255575$6246B473-F250-4256-800B-9D5F7E8ACF56","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"975d765631790e96349f6fd9e7a3182160e28079","datavalue":{"value":"1324669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255575$AC541B92-76BE-48CC-9B65-341848C4C901","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255575$3FB39DC4-6080-44BD-A905-BAE5FD33C557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3716a4a9d9554ead816245702439350948323de3","datavalue":{"value":"0-1 laws","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255575$18B04ADC-7151-465B-8221-7AF1D808A109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255575$BA9B4C96-48A9-43D1-B52D-C4866D6760D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6adb3375356c6ee3503c328130015c13622190e","datavalue":{"value":"fixed-point logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255575$8442C659-C320-4E75-A58A-FBE94A41982A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b2518fecb1c0b57735793eae5817ca06057a14d","datavalue":{"value":"Turing machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255575$2E6BE666-3DAF-4F80-A641-341AD3020F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1408da7db4c03e08918a50622f2fb337e63ab39f","datavalue":{"value":"complexity classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255575$0896E089-60E5-45F6-A2B8-B816B71559D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2162a05e938b0a588cfb18da2398148588cd8130","datavalue":{"value":"logics with fixed-point operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255575$6511B16F-1AB9-4E9F-821C-9986F1F91B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a59b1493a3dfce77efe9c02f17396ec193aeaaf0","datavalue":{"value":"optimization problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255575$9BBC3A04-F9E9-4D66-B0C4-985AD996E52E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc61a025d23805ef0c762c087d3f9ea45989791f","datavalue":{"value":"Lindstr\u00f6m quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255575$E44600C0-F129-47B8-86C8-A64224C4069D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c912dd45456959aa9594fa8a89e3f787ad398ae","datavalue":{"value":"oracles","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255575$851BDEB7-48B3-4160-88CF-637A80AEEF45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e18f2a0d31f13be52b1d4a52e5361bd3cd7ba46","datavalue":{"value":"logic for PTIME","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255575$38AC142D-1257-4121-8DDB-ACD2DF0F5991","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":"Q4255575$84A8431F-8E11-46C7-98D4-79085C67189E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b24be8072cbc674fdec33b94ea8c715af711a87","datavalue":{"value":{"entity-type":"item","numeric-id":703863,"id":"Q703863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b8182692c57a9fdde28f9b7fde69a041495bffc","datavalue":{"value":{"amount":"+0.9704412","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4255575$68E211AB-BD7B-4EFC-8F1B-4CC3E0E29B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beea8520bb657f4377aa4b321d6b9d6ec37846b9","datavalue":{"value":{"entity-type":"item","numeric-id":703864,"id":"Q703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10cffb154e8390dccf333eb8f977ceea700c7da2","datavalue":{"value":{"amount":"+0.96769","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4255575$5EFBFE09-2124-41BD-B5D5-35622BA622A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"291aaa01b7f97a2ee8b274c3e8c2a7fe6bb59408","datavalue":{"value":{"entity-type":"item","numeric-id":5708365,"id":"Q5708365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"697aed87c47b1e80d1ce688b47c30ea7afd35523","datavalue":{"value":{"amount":"+0.9533732","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4255575$68E61EB0-5670-4EAB-B8CE-C41E0C84240F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76070a8093f9d25482e82f14d5133bd448208b11","datavalue":{"value":{"entity-type":"item","numeric-id":4850061,"id":"Q4850061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08dbd64fe8d80c333fe100c4e091d964ca28f539","datavalue":{"value":{"amount":"+0.95337313","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4255575$E099BF63-BB30-4763-80E4-3893ADC288F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ee61fe32a10377054c9b6500189d9f482513ad8","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"238afc1e7955234e12014ac49954e0ce2d13a29c","datavalue":{"value":{"amount":"+0.92468524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4255575$A49A1F0D-2E76-4A79-B751-9445E5712DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9daa5b2d5ee5bf82d678e702f2d5aaa61d02de83","datavalue":{"value":{"entity-type":"item","numeric-id":4035311,"id":"Q4035311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"687fb2f78add21b47509711aa768c65127c075b2","datavalue":{"value":{"amount":"+0.9242788","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4255575$2FBD9B40-9DE4-404D-99A3-5BC1E14A6833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67c957d11a5a40ae2aa12152d337407ac7e98517","datavalue":{"value":{"entity-type":"item","numeric-id":4668857,"id":"Q4668857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41d8ca4b04eeab2be9f6c8e54e83939d370a3fa4","datavalue":{"value":{"amount":"+0.9188272","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4255575$CD91376E-3488-4FC6-8EDA-F9D92CA59A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e22550b4c66849fee59766eab2bf31ad10136d3b","datavalue":{"value":{"entity-type":"item","numeric-id":4779635,"id":"Q4779635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8555d3d3fb4270ced9ace5ba15ca86abb7629d7d","datavalue":{"value":{"amount":"+0.9172307","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4255575$E8B0656E-7BB3-4091-8CD9-BFCBC42A9AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fa24b1e99c1b218b38122b7faa9eb95e2adc3f9","datavalue":{"value":{"entity-type":"item","numeric-id":5477350,"id":"Q5477350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfe58a58fff04dcf5e451d842a9c6d06b506e0e5","datavalue":{"value":{"amount":"+0.91670465","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4255575$CF3C7FCF-C551-4A86-849E-C07A72331730","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4255575","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4255575"}}}}}