{"entities":{"Q2193294":{"pageid":2204037,"ns":120,"title":"Item:Q2193294","lastrevid":53805413,"modified":"2026-01-25T18:15:10Z","type":"item","id":"Q2193294","labels":{"en":{"language":"en","value":"On the axiomatisability of priority. III: Priority strikes again"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7239097"}},"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":"Q2193294$A3E56A4D-BA1A-4FE7-A06B-3354D0A42AFC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b7e8c01566829c3aa5c3b2f3b9e4053d6f15254","datavalue":{"value":{"text":"On the axiomatisability of priority. III: Priority strikes again","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2193294$99EBEC60-20CC-47BA-9A7A-A8CF64DD515D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc07812c4d3dcc9c2b2b280539cc6d121f5443a6","datavalue":{"value":"1452.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193294$52B9E205-23FC-4602-B636-DB95FFB7D16D","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":"Q2193294$620CDDDC-8313-4A6D-94DD-25AFBBD56C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"472e0c5d2912ce9ea64cf7cff981cfa67ddda02e","datavalue":{"value":{"entity-type":"item","numeric-id":2141296,"id":"Q2141296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193294$55A39653-BF0A-4268-926D-025B54A4F771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14f6d6fbd58df47fdcafbaabb809ad20774bfb28","datavalue":{"value":{"entity-type":"item","numeric-id":783680,"id":"Q783680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193294$704DEFFE-AED5-4BC4-9FAE-AD8D4EFE14EE","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":"Q2193294$C54676AD-8243-473E-9F9D-A270F2A55FAD","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":"Q2193294$AFA67618-139C-43A7-B915-05215DCEE12A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe52fbc6901a6937095857b78488de6a9a7591a6","datavalue":{"value":{"entity-type":"item","numeric-id":2193293,"id":"Q2193293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193294$6AA5474D-A309-4C29-B629-83BEFC7B2077","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":"Q2193294$D8E35F3F-9DFD-4B15-9DBF-7124231E625F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40d6298d979cc5fe8f26a1cea0e2ec254982529e","datavalue":{"value":{"time":"+2020-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2193294$9F22D740-AD2C-40A5-A651-5E3DF27F78CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193294$4F978BBA-918E-457D-857B-8605EB762025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193294$ECB21FAC-1415-4416-9612-FD5F917E66C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32b63b5ed018524759486e2342ddf87d526f517f","datavalue":{"value":"7239097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193294$DACCC398-0B66-4F3C-9820-D7AE70E3710A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e0f40529b8ba17c3635f972d3d4e2d732ac0549","datavalue":{"value":"finite axiomatisations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2193294$40166C1B-0262-4A13-83D1-A34CA03A5A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"383866048a26e22585a016b5b82d272ceacd9c79","datavalue":{"value":"bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2193294$1BCBA4FB-0C4E-4EAA-9DE7-748B51B953F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cc8fdc4ecd6069925ef63649305844df4c771a3","datavalue":{"value":"priority operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q2193294$2694C62A-FAE0-4806-A5A5-1173DF076E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65ed6a274aad73026c83d15ad56f65963f8c93e7","datavalue":{"value":"sequential composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2193294$0BCACF31-8885-48D1-BA00-FB6B13FEE10C","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":"Q2193294$688BE4DB-2551-40FE-AB9C-D939522D2868","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"47429adf69354d44a3dcce22e0d073c7b59c2044","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2020.07.044","type":"string"},"datatype":"url"},"type":"statement","id":"Q2193294$7F9DF875-9725-4242-89FC-5BE37DB6D01B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"14af558549a1c224fdb4730e3deaa6734087f2f0","datavalue":{"value":"W3047624070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193294$CF794822-5B08-4F9F-923F-C97279F89A56","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d29fb3e005d6546006a0c7c5ab5e472a7dea951","datavalue":{"value":{"entity-type":"item","numeric-id":3591402,"id":"Q3591402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193294$D34449FC-864F-4C29-9864-36D665467689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3b49a727666797c57d25a458c3a19f862d42056","datavalue":{"value":{"entity-type":"item","numeric-id":549169,"id":"Q549169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193294$2D6F88D2-E5DD-48CD-A4CC-45B0FC1BDC26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb59ec563cf19e056ea22838a6a0546203828e9","datavalue":{"value":{"entity-type":"item","numeric-id":5898163,"id":"Q5898163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193294$8704A216-8400-4D8E-ADAE-3C3F8AE9856A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73d01c82deb16babe797ec68d83e4f94d3400b06","datavalue":{"value":{"entity-type":"item","numeric-id":860878,"id":"Q860878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193294$7243A1DD-6E35-4DA2-B8AE-3ADA6840D2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a96493c7b77b8338a8aa19e96cffaf76fbe4c7","datavalue":{"value":{"entity-type":"item","numeric-id":2760240,"id":"Q2760240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193294$90C628FA-0472-4E4B-B78F-3DBBD20A1DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebf22b5e0b208fa4dfcfcf742bcaa1a2f4f64d3","datavalue":{"value":{"entity-type":"item","numeric-id":3404131,"id":"Q3404131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193294$B28AFC52-2FA4-4807-9C5D-95BDDC837ECC","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":"Q2193294$26D81BE7-BAA4-4C07-A93B-AD00A3DD7348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"376b8313a9833c6c501303e34b9c0ac757a0a8cd","datavalue":{"value":{"entity-type":"item","numeric-id":1203120,"id":"Q1203120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193294$D9545848-D194-45BE-91A1-BB9538E9C244","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":"Q2193294$781AA720-4885-415D-B3FF-CDCA09E5E00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be5ec2a5764ba96462a08e4206585f5a8706c508","datavalue":{"value":{"entity-type":"item","numeric-id":2746874,"id":"Q2746874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193294$E66D61E0-383B-499B-8244-AA7821120FE5","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":"Q2193294$F623AA55-A9A5-4192-8065-1B01CBDDDFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef2460002d0adbe8417dfc0562899200f110b197","datavalue":{"value":{"entity-type":"item","numeric-id":4371690,"id":"Q4371690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193294$AD4D0A6D-6B75-4F4F-82AE-A4D0F8CF139D","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":"Q2193294$87FF8208-C5DE-4C21-BCF8-9D50B1D633D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2404ae1b749d5d39e85ae495f2d6b6dfa333160e","datavalue":{"value":{"entity-type":"item","numeric-id":4818861,"id":"Q4818861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193294$7A2794D2-ABD6-4B77-B9D8-B8D49A3BA903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e73c058e3df5c701e63f0f6d9f39f2b9e12c36e","datavalue":{"value":{"entity-type":"item","numeric-id":685387,"id":"Q685387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193294$9F65E5AA-5E3F-4406-B6B6-0E2481A5D7B2","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":"Q2193294$9B64550E-F5C4-4F68-A116-47A68D9B2B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d84ade6a02bd73f79c254069b90a11e1d3dc467","datavalue":{"value":{"entity-type":"item","numeric-id":4095835,"id":"Q4095835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193294$B9FBA599-DF31-4342-96AE-D5C9DC6BEB48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dde78a908c61e3ace4fd73996142414f3ba5aa9","datavalue":{"value":{"entity-type":"item","numeric-id":4055647,"id":"Q4055647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193294$2260FE39-0660-4B62-A629-D535F9431C83","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":"Q2193294$66C9C2BE-01B9-4738-9826-8F9DEEF77549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cbc1ba03c1632113c162fe83c93ac6393a0e884","datavalue":{"value":{"entity-type":"item","numeric-id":4038732,"id":"Q4038732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193294$1F6B34B1-548C-49CE-9F74-668D4DBAB697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193294$8E92DEF1-BD0C-434D-9FA6-0F0400757E5D","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":"Q2193294$D22DDA9F-86BE-4DE5-9FB6-629A2D04C0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13020f5b89b5e428e4485847f99d0bec0bc65558","datavalue":{"value":{"entity-type":"item","numeric-id":1391788,"id":"Q1391788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2193294$41D6C2E1-EF50-494D-971F-E59361FFF1A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eae486a42d79c5b426bd732e985147272f6397b4","datavalue":{"value":"10.1016/J.TCS.2020.07.044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2193294$8A60FBD8-F2C5-471F-9FF1-BA9FAB7546BB","rank":"normal"}],"P1643":[{"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":"893a7a80835e60da27c06a02325271fccfd9d961","datavalue":{"value":{"amount":"+0.9076237082481384","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":"Q2193294$9BEE823A-256B-4865-B03C-94E192759290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e517c9eaf6cdb3fb6e266a311a7d01845aa1b3e3","datavalue":{"value":{"entity-type":"item","numeric-id":549169,"id":"Q549169"},"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":"Q2193294$1A4F0911-1E6F-4AEE-8984-3A0D33C8D545","rank":"normal"},{"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":"becef6452d4b07bb717a5396b31d314d20a5593e","datavalue":{"value":{"amount":"+0.8964092135429382","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":"Q2193294$44F742AC-5A54-4FE7-882E-934516056712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f429eda69c172380d14d3b4b2d3b92a646e4ab10","datavalue":{"value":{"entity-type":"item","numeric-id":860878,"id":"Q860878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc62318fadc6298cbb5c76e938de7905b8a136e7","datavalue":{"value":{"amount":"+0.7889143824577332","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":"Q2193294$ED37DF0B-8ADA-43C4-8561-0F6FD8BEBE8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00005cc701d89a26d611e4273d9302cce64c2cdd","datavalue":{"value":{"entity-type":"item","numeric-id":5492813,"id":"Q5492813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"321be9852ef147f5a9638812f50c7e5bf6c46556","datavalue":{"value":{"amount":"+0.7861060500144958","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":"Q2193294$24F2EEC5-CDA2-4B4E-B10C-A8810DC574AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2193294","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2193294"}}}}}