{"entities":{"Q2291829":{"pageid":2302572,"ns":120,"title":"Item:Q2291829","lastrevid":71778597,"modified":"2026-04-14T00:29:03Z","type":"item","id":"Q2291829","labels":{"en":{"language":"en","value":"Ground confluence of order-sorted conditional specifications modulo axioms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7161326"}},"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":"Q2291829$05652C7B-605C-4033-80B9-EB612082DE50","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c55d14cfaa349350997939aa43fa313ed28a216","datavalue":{"value":{"text":"Ground confluence of order-sorted conditional specifications modulo axioms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2291829$BCD0F0D9-8C99-48D5-A2F7-2A7ECC4F70A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"46780a72bf82ea9d35f57396c1f8806ba0046a90","datavalue":{"value":"1498.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291829$519B6ADD-3D3F-4B7A-B8D5-CC7E381EC931","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e79680c85f7071a30303966dd871c96745d2ddd","datavalue":{"value":{"entity-type":"item","numeric-id":347376,"id":"Q347376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291829$5C94851A-0C3C-44F8-8EA3-2A241362E0FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291829$EA872355-8EEE-4819-A7B2-ECE9D67AFFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5a482cf0499359d513e033835fd455222dfc82f","datavalue":{"value":{"entity-type":"item","numeric-id":347383,"id":"Q347383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291829$640A91C8-15AB-4144-855A-E1E0CFDA9B87","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291829$BD91D301-741E-44F0-9E37-380ACF0D2ED0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db01f1f293a86902f326559cf8c2d6c6f3d0ad08","datavalue":{"value":{"time":"+2020-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2291829$600BD844-C9D7-42F6-A674-BE05021BC3B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291829$7ACF5455-088E-47B0-BA0B-779C0BE5064C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291829$EA7A7B69-A299-433E-B688-9C576289FE32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291829$AA567D61-77A7-4597-8376-37A1CC175F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291829$76B8A9BE-D6F8-43A3-929B-BFBA329DC8AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c979276181675a2f044c3dc963284c8391700756","datavalue":{"value":"7161326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291829$072554CA-75A0-4BBB-9772-F5033E5CD7AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf4dd80392bf1ad39c89cbe63b4e820ce07b56ee","datavalue":{"value":"equational programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2291829$993A64AB-9735-4B9A-9323-3F0E530F4CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"664cca0310c7b759b7f6d34ceaab799cc3897c1c","datavalue":{"value":"ground confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2291829$70FDC5F1-CA4A-4C28-82E5-DA9E2EA33809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3e6e5613bfdcec7e0337c5696cb06bce741c1ca","datavalue":{"value":"order-sorted specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q2291829$56BA663F-006B-48DB-B977-066B921ABB31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e74b0413afc0a69c322570e1fc8fa53b7aad0066","datavalue":{"value":"rewriting modulo axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2291829$EC7C2F79-8A0D-4DCD-9276-E85F63076524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89d87602e9082534f7e863d0e8349421523845ec","datavalue":{"value":"inductive joinability proof methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2291829$59129409-32C5-4702-940C-A40B3D782E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7837ca7b4ed6a21f47990cc2562459286134de64","datavalue":{"value":"Maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q2291829$8554ACEC-2355-464F-A865-4B44417E4938","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291829$DF4BC253-C3C9-4822-83C3-BD8FCFF7F7C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0bbb745e5682c56c3ac55ea94384cf87e1743f67","datavalue":{"value":{"entity-type":"item","numeric-id":21746,"id":"Q21746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291829$13A62FF7-0772-4CF4-A716-D1BEB785C595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9cc08f1ee64c2fc0d984a8fe54c7c857eeb0cc4","datavalue":{"value":{"entity-type":"item","numeric-id":18366,"id":"Q18366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291829$5FD299AB-FE90-472C-8829-66754BA2F81E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5a28d96c60ccb1156ef0d94d14c5814678632b54","datavalue":{"value":{"entity-type":"item","numeric-id":21761,"id":"Q21761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291829$14CA38A7-CBFF-4924-91AD-CA0192693094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a56cc10343158bc2f2228df5a7cf67c5ff4df4d1","datavalue":{"value":{"entity-type":"item","numeric-id":21762,"id":"Q21762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291829$4FD22572-DAB5-42AF-8849-FEA4ADE30B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4840352b17217b124b50c88ee4bd6bcc958c902f","datavalue":{"value":{"entity-type":"item","numeric-id":17510,"id":"Q17510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291829$66C0DC9F-342D-4AE5-932E-E7FD9436690D","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":"Q2291829$25A44B2B-14D0-4E8B-984B-6C08F892E1FF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4fa414c13c75335795c2bca72291d5180505f6dd","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2019.100513","type":"string"},"datatype":"url"},"type":"statement","id":"Q2291829$8E7FF953-D25F-42D8-88E4-9FC37150F75D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0fc9774d31c87d4dc38e059f8374ccbb17f45f2b","datavalue":{"value":"W2989726691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291829$7534A558-59DE-4D7F-84FE-B2958E0EBB3C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8a2bbb5b4d44285ce61bd44fd533431301032d9","datavalue":{"value":{"entity-type":"item","numeric-id":3636821,"id":"Q3636821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291829$ED6B57B2-2BB9-42EA-83B2-4BD5C9BCCF83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"383b9c89bb68b7c7fd8e835522bbe25b1cb914e3","datavalue":{"value":{"entity-type":"item","numeric-id":2946578,"id":"Q2946578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291829$07C00003-0710-4B99-AD2B-57844B525E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df0a77e1c48f39d3b14ae34f12c26a25727e4adf","datavalue":{"value":{"entity-type":"item","numeric-id":1978640,"id":"Q1978640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291829$387FA3A3-F708-4004-B48B-A6B612620812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84ab5e8e2cb4633034d3747a964aea829975e001","datavalue":{"value":{"entity-type":"item","numeric-id":2503334,"id":"Q2503334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291829$BC2A5CAF-8F13-407A-8146-E17FB73412F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291829$CEEA5E03-35C1-43CD-A613-A3CFA22DDF51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a9e9cd00bd888e0c2ec3144ef21f154ae7d49a0","datavalue":{"value":{"entity-type":"item","numeric-id":5573370,"id":"Q5573370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291829$3CD19D87-63F8-48E5-976C-C433DD68BCCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e506e4af8108702e5b9b9b42874a27b1aa643df","datavalue":{"value":{"entity-type":"item","numeric-id":5703857,"id":"Q5703857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291829$DCFE1B4B-909F-4943-9177-07EB0FA40201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291829$FA234E78-7A59-476B-A9D6-CEC755BE0921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11f8ef03a702d69c585c63b326a09f44c5b6e4af","datavalue":{"value":{"entity-type":"item","numeric-id":2271899,"id":"Q2271899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291829$E3C9E198-8008-4796-9F5D-310679142D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7325382818b3983a691c93f9f727900e0b03afe0","datavalue":{"value":{"entity-type":"item","numeric-id":3541712,"id":"Q3541712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291829$D3007631-7B03-4B49-A46B-3C08DDDBA6A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8cd5062ef7190bb31eab0c47c266fd2bf8ffbf0","datavalue":{"value":{"entity-type":"item","numeric-id":3655204,"id":"Q3655204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291829$1858F1A2-60FA-4217-AA0B-9FABC1B012DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78051514151aca4804c29b73bf87a3e4855334e9","datavalue":{"value":{"entity-type":"item","numeric-id":4933279,"id":"Q4933279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291829$E3432735-BDEE-4581-AB64-C40E524117C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c5c002024dc720962b6529d391d3debc5a9ceb5","datavalue":{"value":{"entity-type":"item","numeric-id":1931906,"id":"Q1931906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291829$71B3CC8E-D046-4FDC-82F3-C6E429A51F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db0561811e183c8d57bac41d52e3038b281293b3","datavalue":{"value":{"entity-type":"item","numeric-id":6164540,"id":"Q6164540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291829$8B0512F4-C2FE-4D5B-8DCB-2C3D6D7BCA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cde07a5af9c9126c9edeee597823bae300bf25b6","datavalue":{"value":{"entity-type":"item","numeric-id":1931909,"id":"Q1931909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291829$6696535A-9B35-4095-81EE-2B20A9D7CFB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"685b6f2241ca731964008614149743ea5d098bf5","datavalue":{"value":{"entity-type":"item","numeric-id":2715825,"id":"Q2715825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291829$D23533B4-A320-4AB9-A27E-B8A58CD7E376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3239d3bc022112b37f4da6991a3c7bf09667ee35","datavalue":{"value":{"entity-type":"item","numeric-id":1196302,"id":"Q1196302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291829$EA7CEF62-95F7-4CA6-BE2A-3EFCCDBFF8A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24b5ce9e6f04f47796fbfd5606e7d7b40e04d445","datavalue":{"value":{"entity-type":"item","numeric-id":4256417,"id":"Q4256417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291829$B4D259F5-7A60-461A-B865-C940188A6DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2f77c9f0b209bffb78ce37325c9477c70ceaf77","datavalue":{"value":{"entity-type":"item","numeric-id":1041807,"id":"Q1041807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291829$ACE9CB06-A953-404F-B907-654B48512596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e0c1063d2d24fe1956813fa9bc95f21d14d9d1e","datavalue":{"value":{"entity-type":"item","numeric-id":730473,"id":"Q730473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291829$7A879D71-A840-4F2F-BF29-D58D94B1F912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35de7df0c420175ccefc3da8012590103dbdf602","datavalue":{"value":{"entity-type":"item","numeric-id":3839051,"id":"Q3839051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291829$57C29CA3-69CD-4427-80A1-84A127EF3428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baf49e3af784fd0b064f1256a4384095ecd0ff4a","datavalue":{"value":{"entity-type":"item","numeric-id":683741,"id":"Q683741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291829$77DBFF79-4B4B-4DC6-BC2D-A71BBE0C40DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48f23c9c5867b878ba232ab7625fac32ef8d9d28","datavalue":{"value":{"entity-type":"item","numeric-id":4686604,"id":"Q4686604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291829$9A9D6412-62A3-47F0-ABBB-AA7167DC2F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f30922957fb622ffdcbc55c75cee3bb82a58abd","datavalue":{"value":{"entity-type":"item","numeric-id":2405264,"id":"Q2405264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291829$455D00CD-3599-4751-9AEE-6785EF6407A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8179f8312afd3b600c6d2be4cf3ec5fca8cb61b1","datavalue":{"value":{"entity-type":"item","numeric-id":5403069,"id":"Q5403069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291829$28D423C1-176C-466F-A863-A87027E28B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee34a3e1db7e7d8be76cc6c09af2b870cb6ca163","datavalue":{"value":{"entity-type":"item","numeric-id":4933334,"id":"Q4933334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291829$E5CC5123-29A6-47D7-817B-9B694F5199B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7677402c1f33917bba280f3264f0a6b4b2ec079","datavalue":{"value":{"entity-type":"item","numeric-id":2413027,"id":"Q2413027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291829$938A818B-DE83-4DB1-AD13-EED6FD1113AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291829$72B60DAE-76BE-41DA-A8BF-E876DD5A7742","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e79f4959cd6e59f3519372b6022a63d24e88962c","datavalue":{"value":"Q126663663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291829$2CD802BB-A0E7-4050-8B84-F2BC33F503AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f404ee415f9db6599ca12607cf83e20cf2567501","datavalue":{"value":"10.1016/J.JLAMP.2019.100513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291829$CD0A8F5E-F842-42DA-BA9D-FA224CFB7DF2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c09d2675fa717991c381a9d4fdd79c2ee13f74d6","datavalue":{"value":{"entity-type":"item","numeric-id":6164540,"id":"Q6164540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40cbab5d98f3d7ca267b47dc8dd7f2146e6835d5","datavalue":{"value":{"amount":"+0.9553181529045104","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":"Q2291829$038A9190-A56A-4AC5-8A60-F40259EDEC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f5cef2969112d75b57acddfe4a4a1ea3f2a5396","datavalue":{"value":{"entity-type":"item","numeric-id":3753472,"id":"Q3753472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9493cea489c4312b22810c9ea77717de076ffe1","datavalue":{"value":{"amount":"+0.7854105234146118","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":"Q2291829$A494D1F6-021E-44E6-A880-6C4545B08D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97270c598360e6f23809fae87f3c1d2cad5a82b0","datavalue":{"value":{"entity-type":"item","numeric-id":6487297,"id":"Q6487297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73a8ddc1ea95c9f430a0e51bdce3e893f55f9659","datavalue":{"value":{"amount":"+0.7808184623718262","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":"Q2291829$D6E69847-8AA6-4249-8FC7-7B4E4093D8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f627305a197d6a6b0d2e561f92b12be539a8e0d1","datavalue":{"value":{"entity-type":"item","numeric-id":915429,"id":"Q915429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85fc21d97580fc64f099f5b6e4fe7a5aef34d434","datavalue":{"value":{"amount":"+0.7479711771011353","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":"Q2291829$6E60F8A4-6EC2-40E5-BA40-75BF686B67B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27559d9a2dfe724957077ab9753ebed2bf70cb01","datavalue":{"value":{"entity-type":"item","numeric-id":1931906,"id":"Q1931906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cccb46ce5dc84f617ab18a91a7e526038969fc93","datavalue":{"value":{"amount":"+0.745772659778595","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":"Q2291829$7E065B98-FAFE-4D00-804C-BB40236D93F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ground confluence of order-sorted conditional specifications modulo axioms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ground_confluence_of_order-sorted_conditional_specifications_modulo_axioms"}}}}}