{"entities":{"Q2922007":{"pageid":2932727,"ns":120,"title":"Item:Q2922007","lastrevid":79708721,"modified":"2026-05-06T14:32:07Z","type":"item","id":"Q2922007","labels":{"en":{"language":"en","value":"Alternating parity Krivine automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6355244"}},"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":"Q2922007$52454FBF-EB3C-49E7-BAE9-92D7FBF90FCE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f02fc89a7602dfff2fa6063f9c87bab2194dcb6f","datavalue":{"value":{"text":"Alternating Parity Krivine Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2922007$16CA563A-0D5C-4A6A-9E80-D3F592320DB2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed1f62443b623d3405173f593ae37c672bcffe92","datavalue":{"value":"1425.68183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922007$7D7E12E1-48EF-4501-A7B2-80E462DD1C6F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"80447b087cf660364ab2b4029c549835912cf005","datavalue":{"value":"10.1007/978-3-662-44522-8_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922007$74E4D08A-6F2E-49CC-8504-AD93BE9B6A96","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"10dffe16bbe34c7938fa56f95e8b4147c5880800","datavalue":{"value":{"entity-type":"item","numeric-id":1685774,"id":"Q1685774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922007$7B49FE6F-FACF-4CBC-870E-5F284A20C179","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68b25ed9d3c306483bfc58de311b8d2185d8c136","datavalue":{"value":{"entity-type":"item","numeric-id":2921996,"id":"Q2921996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2922007$EB8CA9EE-D820-4887-A96F-DC62598DB487","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b416645c0a17193441756de619503aab4f6e3c3f","datavalue":{"value":{"time":"+2014-10-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2922007$B001B29B-4149-4555-99E0-9547C5131E3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922007$F7131DA2-BD56-475F-8B94-36DAF199A0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922007$E22590BE-DDF8-4DAD-AE80-5E2F96F7D83C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922007$F0B3E5E4-0869-4256-A6C0-B5A25431C5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922007$FA1A0D21-338B-4F07-82B7-447AFDEC3612","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d51b6d96302bbe15c666727364c3ee1b07952ab9","datavalue":{"value":"6355244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922007$EB4B5D73-769F-4638-BC03-B45097CA2857","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4d96d659e84f729e712a0938012d26c30d8f828","datavalue":{"value":"higher-order modal fixpoint logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2922007$FF0085F7-8D6B-4804-9BD3-B98634B23D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2baa565f2f6e404ad2d47723b10d9eb8c186122","datavalue":{"value":"fixpoint logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2922007$14B8C2FD-44EC-4250-9E52-188DAE3BA4A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1974a43c2877af8af733b505265e5669426e2da","datavalue":{"value":"Krivine machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q2922007$7FCA26D6-2CD2-4C2C-A305-C17A3359BDA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee7e4e0aab34b90f212668a621a76f4a248642b6","datavalue":{"value":"\\(\\lambda \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2922007$EE22AE1F-77D5-4F71-B357-FA0173CFE4D5","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":"Q2922007$B31CEC82-9B23-44FF-97BF-7F86B22A3313","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5391a17aded00d8f3e663ab1f6b9f844df5a708","datavalue":{"value":"https://doi.org/10.1007/978-3-662-44522-8_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q2922007$AD430E9D-BD09-4961-90CD-0D72CF9BAE27","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d1a1e0376f18a97797375052582eea5934c7658c","datavalue":{"value":"W2183833115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2922007$00E2EB3C-9D20-4530-AF8E-47751C629D10","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ce2014e472c35ec32fd2a6d8d13081a0734597e","datavalue":{"value":{"entity-type":"item","numeric-id":5015272,"id":"Q5015272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12d69ed9dea43ed84782ddcba434ed1d886ac5eb","datavalue":{"value":{"amount":"+0.8369186520576477","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":"Q2922007$FE09D581-C1E7-4092-8C84-99894C8F7251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91407b64dfdc43aa08e4d4d1da867dd2b07757e0","datavalue":{"value":{"entity-type":"item","numeric-id":5311496,"id":"Q5311496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a754632f3e04cc70aa263d7bad802c07784bcd1","datavalue":{"value":{"amount":"+0.8250975608825684","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":"Q2922007$E2D5D65D-4C18-44E8-AEF2-C62CF78E2277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57de321feaec295c00e192f0ebc1efdf4a267a22","datavalue":{"value":{"entity-type":"item","numeric-id":5310692,"id":"Q5310692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92e3983d06c164049b6b36a56aacbf108af1be1c","datavalue":{"value":{"amount":"+0.7968602180480957","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":"Q2922007$A8BAFCA6-0564-4303-A9AB-9F54AC1AC5EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"020d3dfe2e48e5b8fada1fb1df5a36b5ac3e5fd2","datavalue":{"value":{"entity-type":"item","numeric-id":1685775,"id":"Q1685775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"893f7ec18c7d2f56689230e899a0cef8a61f83a8","datavalue":{"value":{"amount":"+0.7933898568153381","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":"Q2922007$431DD331-B544-46A1-8882-741E0CC911BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e1de75d9014d229e5188d9082aac7c1be5c10f1","datavalue":{"value":{"entity-type":"item","numeric-id":4989164,"id":"Q4989164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cc5af7674e3b2974995f56b0fe065084966669e","datavalue":{"value":{"amount":"+0.7838090062141418","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":"Q2922007$ADE0D193-BF6B-43C0-BCF8-29C295EF2361","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Alternating parity Krivine automata","badges":[]}}}}}