{"entities":{"Q4635894":{"pageid":6665475,"ns":120,"title":"Item:Q4635894","lastrevid":53070884,"modified":"2026-01-24T04:11:13Z","type":"item","id":"Q4635894","labels":{"en":{"language":"en","value":"Towards completeness via proof search in the linear time \\(\\mu\\)-calculus: the case of B\u00fcchi inclusions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863507"}},"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":"Q4635894$BA92F172-D836-4FF8-8258-903DBF958198","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"45711abe205c69c99add75494f2a34b06d3e0232","datavalue":{"value":{"text":"Towards Completeness via Proof Search in the Linear Time \u03bc-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635894$9265C6FF-11A4-4F09-BA23-00212C3E9A4C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f81baa668fa3b420192702198e67a2a0fe5f156","datavalue":{"value":"1401.68193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635894$5463BF6B-1D46-43CF-B88A-08728BF7DFA9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e865e6c67318b8e053bf5eabba306311fe070a07","datavalue":{"value":"10.1145/2933575.2933598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635894$87064E21-E252-4270-9A2E-8B7CDF6ED0D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1dc5416b47c2347b27baef4d150fc87d0d7a42fc","datavalue":{"value":{"entity-type":"item","numeric-id":2289073,"id":"Q2289073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635894$6A959C89-7199-49D5-A470-8804F14F000B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"439fedb2abb0db23850e986c02a9c62295b684a6","datavalue":{"value":{"entity-type":"item","numeric-id":2167735,"id":"Q2167735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635894$4B0DB335-6EB9-4198-8C20-A1CB0F1059D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42522c9c355a128b14f99118c793b320a622a36e","datavalue":{"value":{"entity-type":"item","numeric-id":511945,"id":"Q511945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635894$20D524A9-4E03-432C-9E33-0BE270F0AD35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41f2839c89d1345755f9d23745ecb4716429d131","datavalue":{"value":{"entity-type":"item","numeric-id":428893,"id":"Q428893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635894$C04EE4F4-B9BE-4C02-95FB-377D618F2993","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"046029701eaa27e11deafdbb503d5ba484152a43","datavalue":{"value":{"entity-type":"item","numeric-id":4635856,"id":"Q4635856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635894$389EB5DA-C6C5-4D64-9810-DFE39DB586D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635894$71E9A740-F8F0-4330-9CBA-A438D6F0E2FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635894$196F88EB-0C62-443C-B404-3B8D61906595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635894$54AED0C0-E634-4D57-9CB6-747F53522821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635894$5FD1AAB1-651E-42F2-A1CA-64B26AFF4951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635894$8B6699C4-2066-47C4-B578-6F0E2E9DDC0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635894$751FA8AE-31C3-4677-BFBD-473CE18553FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60bf547ef730ccd2e8544c7c30ae30b2685d0cab","datavalue":{"value":"6863507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635894$C953C274-51B7-4233-BD7B-B85E9E9453A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b78be44484fc953af35848568eae91dd99140194","datavalue":{"value":"(co)induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635894$CAD70220-51DF-49C2-A694-BA53F3074348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7dbc9c45eeeebda94a7a1591d5ed6936b62077b","datavalue":{"value":"circular proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635894$70FEE23F-53AE-463F-9524-08E84A25916E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7aa3fdbdf3b7584bcd007098b5e184978502a1cf","datavalue":{"value":"mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635894$C49DE0CE-15BD-4A4E-B0C5-B12C57699188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c20266b4690f90eb91dd776a8bed0fe154b8859","datavalue":{"value":"parity automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635894$7E49C754-47E0-43D2-83D5-81DAE85BB77A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b8a9646b82dbeb50d8df2be83409261d3b2042d","datavalue":{"value":"proof-search","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635894$F2C5A17D-D6ED-4CE6-B046-7FBE4463951C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1523fff81fab991ff69392bf90bb93f680c0c9e","datavalue":{"value":"Safra construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635894$41F99959-224C-4FD1-B14D-45C5A467568A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635894$537BC53E-EA7E-4D03-B0FC-B1CC4D6532D3","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":"Q4635894$1CD73426-2EB4-4FB8-992C-02CD1A49D140","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"316e2d0b8cb73794b2205a163fd3c919915c5d05","datavalue":{"value":"https://doi.org/10.1145/2933575.2933598","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635894$7C941CB6-8826-4072-A267-7FD3A320144B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ffe59761fe9af2dee5c0b51b21f92c4169857f4","datavalue":{"value":"W2529880865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635894$6A755B78-1920-4995-8267-119E3C30A080","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79214af768596456d18635cc590eec2201e08a19","datavalue":{"value":{"entity-type":"item","numeric-id":5144621,"id":"Q5144621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f5c5d2d4928ce0c50d0be76f88b6ac5d3841e03","datavalue":{"value":{"amount":"+0.8372059464454651","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":"Q4635894$30DBD500-C7F4-4E85-932E-7F1AEA33B2A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6def29c8473e82c891650ee23e5458d6b36c19c7","datavalue":{"value":{"entity-type":"item","numeric-id":5385992,"id":"Q5385992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6448f61db484eabb6c2765c9742d8a382d538699","datavalue":{"value":{"amount":"+0.8224126696586609","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":"Q4635894$18C7FAF7-046C-4038-A651-C0E93E7075BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64bd3d6c57e769fdcd7543d4075e1e785873ac68","datavalue":{"value":{"entity-type":"item","numeric-id":1749477,"id":"Q1749477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57fcabfc745b16351c3034ad99a98a7e0514dfbc","datavalue":{"value":{"amount":"+0.8211511373519897","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":"Q4635894$A7B822B0-8DE5-40AD-A2EA-0CBDB4403C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0095654446119627593dfe20de7d001e2b3bc950","datavalue":{"value":{"entity-type":"item","numeric-id":5144634,"id":"Q5144634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70f5e4cde9ecc2ce3f6803807623ae67afbc5b70","datavalue":{"value":{"amount":"+0.7986723184585571","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":"Q4635894$2FD195E8-EB6F-4C62-9CBB-98098AA75CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ab8cc3ba85a7bfbc723b79ca15f082559c7e3c6","datavalue":{"value":{"entity-type":"item","numeric-id":1005937,"id":"Q1005937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55c766df22b824afe2c35eb6846632aac7a223ae","datavalue":{"value":{"amount":"+0.7890055775642395","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":"Q4635894$34960FED-E919-4776-AC88-733209FA9198","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635894","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635894"}}}}}