{"entities":{"Q549169":{"pageid":550936,"ns":120,"title":"Item:Q549169","lastrevid":62670003,"modified":"2026-04-11T07:39:52Z","type":"item","id":"Q549169","labels":{"en":{"language":"en","value":"On the axiomatizability of priority. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5918225"}},"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":"Q549169$C588E42B-0CF9-48E6-A263-92243B8CBF53","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"45fc76ee747ee024330bd87b5a0788539028db06","datavalue":{"value":{"text":"On the axiomatizability of priority. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q549169$80C07452-8272-436E-9A7D-29C951E26EF5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b7582c0a21059cf9b4cab04968fcba680e286a71","datavalue":{"value":"1216.68181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549169$628184D7-6FB0-4A30-88C7-6616F4B92AF2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4bd39b66e05c6b5ee50169e2d4c712b3b54f91","datavalue":{"value":{"entity-type":"item","numeric-id":266855,"id":"Q266855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549169$367113BC-91F8-4D48-B42E-EEFC57FBC468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"56f2720d61eed3832eaa70475ebf459e0738ce91","datavalue":{"value":{"entity-type":"item","numeric-id":310083,"id":"Q310083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549169$EFD89C3E-8069-4859-A65B-CADC3470D706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52a961fe9dae5f000974fac5f5d2491a29810f20","datavalue":{"value":{"entity-type":"item","numeric-id":393089,"id":"Q393089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549169$45BE70CF-06D6-43B6-85F3-71DA6516FF63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a469e1856598e76c0542f05574b54b053e1e517a","datavalue":{"value":{"entity-type":"item","numeric-id":507380,"id":"Q507380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549169$619949E2-3756-4C12-8049-2DE8C7ECB785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb3d908edde5cce58f30bbb8863859bdf04b4ea","datavalue":{"value":{"entity-type":"item","numeric-id":266858,"id":"Q266858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549169$A4FEE4B0-8D3C-4E87-8A7D-4ABB1D58D1CF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549169$3245D488-4131-44E2-A910-48411F9E34C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9100d2d5a7227329353887f5d42429d935897bcc","datavalue":{"value":{"time":"+2011-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q549169$1F97609C-AF7F-44C2-9DAB-65BC9F210D44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549169$26C7B150-00F1-42B6-88B3-C21CEDA224C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549169$27914148-FA16-40DA-A9ED-5C0F15C5197E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3d3457702a76f5bb799b0e335a3cf52d52f92b4","datavalue":{"value":"5918225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549169$E6A3C937-7B3A-4137-8575-F8F8813D2A74","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"383866048a26e22585a016b5b82d272ceacd9c79","datavalue":{"value":"bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q549169$3B6E8802-4E7A-4C82-9708-B04117F86384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q549169$1DB80EE2-CF23-4FFE-956E-94A28CBCAF59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q549169$A5F3ACFA-5E09-4C09-935D-0A3FC765BDA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cc8fdc4ecd6069925ef63649305844df4c771a3","datavalue":{"value":"priority operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q549169$9DE9A061-E771-40E4-A967-91DF259D8158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c7101cf26ec6545ff935779f6f4882ac2f0854","datavalue":{"value":"non-finitely based algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q549169$91817B89-43B3-4472-83D0-4F4AEBDB26FA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"712afc7e38a7f89b1e067972a91d9b3cc6fd837b","datavalue":{"value":"Q62047468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549169$D7DE3AA7-B2B4-47E6-861B-B38C64027F03","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":"Q549169$CC642195-3579-4A3B-BF64-AC1F0513AF3F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e25af733385478ca9b64f184843ab83aa4921bb","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2011.02.033","type":"string"},"datatype":"url"},"type":"statement","id":"Q549169$A99398B0-E34E-443C-B03E-9F5969F6CDC7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5270e12227400d7aae4b000e7f2862b51d1b9b14","datavalue":{"value":"W4205992029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549169$70B97446-2510-4664-B48B-AD3CCE93C5A3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4172be285e3f1f606764a036de7e6fc1796dd99a","datavalue":{"value":{"entity-type":"item","numeric-id":5458057,"id":"Q5458057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549169$1E5E8ABD-75C3-47A9-BDE4-466FC45100F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fcd254ec8f657762d462bbc49ef06ba594d598f","datavalue":{"value":{"entity-type":"item","numeric-id":4727412,"id":"Q4727412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549169$4C45D9B9-8577-4384-A7D5-43FFEC567650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0223e77bbb63d3c4a170868420904ca6d59df30","datavalue":{"value":{"entity-type":"item","numeric-id":3731022,"id":"Q3731022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549169$10620616-FC71-4A4A-A2B1-A1ADE44E3DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"256605281f1972c683ca696296ad8b7e79070cc6","datavalue":{"value":{"entity-type":"item","numeric-id":4369896,"id":"Q4369896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549169$2DF15DA7-32B1-4FC8-90CE-21B1C5DD5993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f635a48afb14e9e530c9ca5f3f09f5973a7e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4369863,"id":"Q4369863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549169$6BFF03D9-378E-430B-B8EA-2B88FD7008A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df320826ebfec6482ffa848c070a7d2963212cb","datavalue":{"value":{"entity-type":"item","numeric-id":1346713,"id":"Q1346713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549169$5081D49E-C219-4257-8D8B-5581D0A2B676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90faebe8db911fffe6eda59539b7a7cf2d2759ac","datavalue":{"value":{"entity-type":"item","numeric-id":802881,"id":"Q802881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549169$B9A526AB-7EBF-43E6-9A2B-8C020540614D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90eec147673342a728814a618b57b3a6770e5135","datavalue":{"value":{"entity-type":"item","numeric-id":2760249,"id":"Q2760249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549169$E5868E1F-0CEB-45B0-9B93-8E5A2CFFE4F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549169$49164CA5-914B-43BB-A716-59C639DDB29D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549169$2FCEAAF0-8C70-4185-942B-519F41D61ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cf6296675a04b218469db10451a04d2c74acc22","datavalue":{"value":{"entity-type":"item","numeric-id":1892874,"id":"Q1892874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549169$61219D26-0BC7-48D6-AFF1-94CD75C8C944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4cacdfb749db4927d995d773c934bd80d94e1a7","datavalue":{"value":{"entity-type":"item","numeric-id":4863940,"id":"Q4863940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549169$2E59A707-2276-43B4-A727-9358A8E5B48A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549169$4AF3E88E-9ED6-47EC-856D-EC8212422FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549169$500F1781-320F-42D8-A9B0-C169B38A332E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549169$95B63271-7A79-4238-AA04-EF8CCB031069","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"a3e2f3410aec3976aa80b5aae064712e2242ef4f","datavalue":{"value":"journals/tcs/AcetoCILP11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549169$B710006D-69CC-4717-86C4-A0C40418365E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3e7027af49e52e4519d8b4c90d72fc1ab5b5a42","datavalue":{"value":"10.1016/J.TCS.2011.02.033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549169$5F7AC040-EE61-4050-9C51-B39C81C73C6A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4869f3b9dab708d2600a676a442ad76cf23b90ae","datavalue":{"value":{"entity-type":"item","numeric-id":3591402,"id":"Q3591402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3d9e1f25952e350946548fac32fd2f4fc23ac12","datavalue":{"value":{"amount":"+0.9182049632072448","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":"Q549169$F5758192-0BD3-446A-A586-A3E2F5620FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7c654b684d14890671cb1816a19e0922ec6c0ee","datavalue":{"value":{"entity-type":"item","numeric-id":5458057,"id":"Q5458057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59f232f10376251f32a3e7ebaa3c5828af968897","datavalue":{"value":{"amount":"+0.9131764769554138","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":"Q549169$9F190DE2-E419-4F6D-9133-A8A00679BF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd6597d7b7f15660d29cbce124f2627383c9776f","datavalue":{"value":{"entity-type":"item","numeric-id":2193294,"id":"Q2193294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37b3711a91f6623359972e9ba154cd841ec214c8","datavalue":{"value":{"amount":"+0.8966281414031982","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":"Q549169$7680F8ED-ECAE-47B1-86AD-8D07F89DF56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e47d2cc43735f5f70af8b6c34939bf5052301975","datavalue":{"value":{"entity-type":"item","numeric-id":802881,"id":"Q802881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c6a3d8c7e8fdd350244575d4f32c074f24c8b25","datavalue":{"value":{"amount":"+0.7874196171760559","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":"Q549169$C6276820-0229-4FB5-83F4-350A61ED6985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e1b00c852cd5f899ea83061e9fd2602cfc94c9e","datavalue":{"value":{"entity-type":"item","numeric-id":2381506,"id":"Q2381506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf260da18ef1e75b275e377eac172924b5ce375b","datavalue":{"value":{"amount":"+0.7837339043617249","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":"Q549169$F0377DBE-8799-4EE1-A714-56F06692680B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the axiomatizability of priority. II","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_axiomatizability_of_priority._II"}}}}}