{"entities":{"Q759491":{"pageid":761340,"ns":120,"title":"Item:Q759491","lastrevid":64162188,"modified":"2026-04-11T18:03:29Z","type":"item","id":"Q759491","labels":{"en":{"language":"en","value":"A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3881900"}},"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":"Q759491$AC17AB9E-F606-4056-8EB2-467BC7F5F471","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"295a1210679f1cc50dca4aa653bd812db3ce24ea","datavalue":{"value":{"text":"A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q759491$F99C4B40-72F3-4271-BD9A-E08197A7B68B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14778b53b1a04f7d5106ae8060506c0aaac60402","datavalue":{"value":"0553.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759491$43435BCE-E33D-410B-946D-77F5A59A0DC6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64394b72b8127f01652c969c8720630471222562","datavalue":{"value":"10.1016/0004-3702(84)90054-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759491$C5F3FE41-745C-4104-A456-9C038BA6A92F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"547a70f32038f5698afdc474eeef7f9e925fba61","datavalue":{"value":{"entity-type":"item","numeric-id":699184,"id":"Q699184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759491$F0F25351-8260-4B0D-99CE-E44CB8C0C2B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759491$15A66A38-0FAC-435B-9127-5274C9273AD9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q759491$1D872147-6EF9-4597-8A3F-F1F5E1E5651E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6e120a467ee2dcc2873ad18799f84adb0ab74e66","datavalue":{"value":"This article is dedicated to an application of the program AURA, which gives the solution of previously unsolved questions in the equivalential calculus EC [\\textit{J. A. Kalman}, J. Lond. Math. Soc., II. Ser. 14, 193- 199 (1976; Zbl 0353.02004)]. AURA, developed by the Wos-group in Argonne Illinois, is an automated reasoning program for interactive use. The problem studied here is the shortest single axiom property of some formulas in EC. By applying the program to formulas of EC, the user can state conjectures about some formal properties, investigating the output of the program. One such conjecture is the ever-increasing length conjecture of deducible formulas; if it holds to be true, it may be applied in order to prove, that some true formulas (for example E(X,X)) are not derivable from the single axiom by condensed detachement. The authors succeeded not only in finding shorter proofs for already known theorems, but also to settle some unsolved questions in EC (questions about the single-axiom status of some formulas in EC). Demodulation is applied to analyze schemata of EC-formulas (instead of formulas themselves). New concepts as containment sets and unification sets of formulas are introduced, which proved to be very powerful for the solution of the problems mentioned above.","type":"string"},"datatype":"string"},"type":"statement","id":"Q759491$01251940-CB52-4545-896A-A41E137E3699","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2131474b61f9492afe33179f8e943fe4605532de","datavalue":{"value":{"entity-type":"item","numeric-id":167060,"id":"Q167060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759491$62B3375D-2395-4F80-9F5C-52EA390A1B68","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759491$05833FE8-095C-409F-BDBE-44496D274E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8724ac1f861fd4485a474d1844744a1ace24834","datavalue":{"value":"03-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759491$65BF2C9F-C191-4F9A-9F11-4424D311709A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759491$58974988-480F-4E4E-9156-689841009BD4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ba42cf50f95a34cc71528ea911a4b24c9a0cd0a","datavalue":{"value":"3881900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759491$97CF71FF-05DE-4F67-85C6-939A1932A06E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0eb0f5af803150db3a83a2a683bd8c1643660152","datavalue":{"value":"AURA","type":"string"},"datatype":"string"},"type":"statement","id":"Q759491$83C384DD-736C-4F9D-9A80-F682D933FE4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7a3064cc446fdc319ccd440f7ee9dca559f98f9","datavalue":{"value":"equivalential calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q759491$4BE3B364-DF1F-437E-B2FF-39A3A7277C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q759491$46EA56A7-ABD1-4E30-943F-241F30EDB20C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"840120695d9c23f4ce90c4b8bc2d74cfeb279902","datavalue":{"value":"shortest single axiom property","type":"string"},"datatype":"string"},"type":"statement","id":"Q759491$14A37BEA-A080-42D4-B4CE-B32205C5E431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d12926d17691cc3bd468c8c608351d036d0ea46","datavalue":{"value":"ever-increasing length conjecture of deducible formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q759491$59C92F82-BBBB-4F9B-872B-8F81EB2B8AE1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"28ff399decc5da67e8a2a47ced851786df62e987","datavalue":{"value":"Q114262293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759491$D66F6888-71A5-4D7D-843C-A48983D18C54","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cfe4917f47df85084aaacd4d417abed0d82eb6cf","datavalue":{"value":{"entity-type":"item","numeric-id":19078,"id":"Q19078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759491$CFDB5ACF-A9AD-4B72-8036-7833178DF89E","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":"Q759491$3DAD4943-7AB1-48B0-8FF9-1D9914040BB8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"afb1991b86977c37329a74b30de0f0712cd1a06e","datavalue":{"value":"https://doi.org/10.1016/0004-3702(84)90054-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q759491$4DB3DD8D-4B51-4D2D-9B15-4480992BC203","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"037d1d5960fc6bc7c29c6628233da8f7bb21384c","datavalue":{"value":"W2074713171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759491$FE1E661B-DA77-4F95-BDCD-138B75D870B1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5ba7db293ebaee9aa1ef89b96577a438c7ecefe","datavalue":{"value":{"entity-type":"item","numeric-id":5624685,"id":"Q5624685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759491$2781CA43-DA55-4C35-9AC4-6C903A96210C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f26797df71995bc535cc452f5adea4633276cb4a","datavalue":{"value":{"entity-type":"item","numeric-id":4120566,"id":"Q4120566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759491$AB96CE39-95A5-4A48-922B-113C56F39B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f43b8b55d2e955bc288fad5f0ff66351441a39ba","datavalue":{"value":{"entity-type":"item","numeric-id":5652648,"id":"Q5652648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759491$EFCC8E18-8F0E-47A7-B39A-4A4F9FE61989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1716d62fb176f9fbe0816f24dd1cdfd1df8f895d","datavalue":{"value":{"entity-type":"item","numeric-id":4115125,"id":"Q4115125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759491$CA62EAEC-6F6C-45E6-89AB-629246D39BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e445482c7518b44eee9e26eeb76931d02af66d4","datavalue":{"value":{"entity-type":"item","numeric-id":4123296,"id":"Q4123296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759491$86F91538-BCFD-4BD3-B91C-26E9690EC130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac2e1730505dc38b28b0c175adb4ff33adc97db1","datavalue":{"value":{"entity-type":"item","numeric-id":1242883,"id":"Q1242883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759491$7DCC6661-6F5F-4A20-82E7-CBDEEB9F1F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d2809f117f932fb2c4f9205b1cdb5952610f9f","datavalue":{"value":{"entity-type":"item","numeric-id":5613169,"id":"Q5613169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759491$BE91A1C3-A6BD-4F79-AA38-2AFC59AD8DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1f35f7d212d5853ba1ffba2a20d0741151f988c","datavalue":{"value":{"entity-type":"item","numeric-id":5554943,"id":"Q5554943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759491$2232EFC2-9BC1-4010-AC3B-99E4A66D457E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0aefa01969c4c5ab3568e4445e95ff48e256399","datavalue":{"value":{"entity-type":"item","numeric-id":4095910,"id":"Q4095910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759491$AF66C5EC-7A08-4134-9222-05BA168714A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7add01291c95ebcb031afac6fc8c8b1659115c10","datavalue":{"value":{"entity-type":"item","numeric-id":1229761,"id":"Q1229761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759491$FB644AEF-847A-4F93-A3EC-8CCE019975B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b6c1290670250715bbd52bc8044a598668cfb6c","datavalue":{"value":{"entity-type":"item","numeric-id":5823273,"id":"Q5823273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759491$C370D625-E32B-4EC0-8504-FD43427BFFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8ebc0f6209cc7045ad31ca451c20be9f64638c4","datavalue":{"value":{"entity-type":"item","numeric-id":2524056,"id":"Q2524056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759491$15C5AF22-978F-4F46-8CA3-9D4C42ADEF08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f7d2d89deedcddbd5d2b829ce3b5e46a14ab62","datavalue":{"value":{"entity-type":"item","numeric-id":1219798,"id":"Q1219798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759491$D4FC1850-559B-4D9D-89BF-9384DA9E9CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"871eeb072064268812d71252bf2535d5e9ad8d8c","datavalue":{"value":{"entity-type":"item","numeric-id":1242700,"id":"Q1242700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759491$56FCA744-EF4D-4C89-B5A1-2AEEACBE849D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22001403e9a3271b3d97ee75448b6ea0d87043d0","datavalue":{"value":{"entity-type":"item","numeric-id":3228599,"id":"Q3228599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759491$5DCBFE47-713F-4CAE-8702-935042F977FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c247c8da53a6b9013b7b3bc71c9d52cb2cddf69","datavalue":{"value":{"entity-type":"item","numeric-id":5807658,"id":"Q5807658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759491$3C31AA81-4C4D-4218-9572-F180B5B0A64B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febe5bf101c3b7d6dce19439eb466caa5715de79","datavalue":{"value":{"entity-type":"item","numeric-id":5624683,"id":"Q5624683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759491$C7C6AD04-C18F-46DA-9569-D7B9F87F5AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759491$49DCC094-8593-4415-AA55-450CEB3DC173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6665473476a662f7d4641df0e907b87f159a7036","datavalue":{"value":{"entity-type":"item","numeric-id":3665335,"id":"Q3665335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759491$08E76BE4-2D83-4428-9FC7-F9FAA26ECDF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d9c3982efd0f7ccc059068ad9e9a439bba5bf60","datavalue":{"value":{"entity-type":"item","numeric-id":3949989,"id":"Q3949989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759491$7CC841D5-D86E-45F5-8283-3F6E1940D9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb3a73f197f9ce37214d5648fc503e23af08e809","datavalue":{"value":{"entity-type":"item","numeric-id":1159599,"id":"Q1159599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759491$8DFAEA2F-93A0-49C5-8613-71189C048310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5700cb31135742c28553eda28989b80f165cc32d","datavalue":{"value":{"entity-type":"item","numeric-id":1165832,"id":"Q1165832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759491$858D8676-6331-452C-9CCC-1C99091B0075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11b6f231eb024fbb0248b8ea953dad94e2ed45be","datavalue":{"value":{"entity-type":"item","numeric-id":5507984,"id":"Q5507984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759491$84A4E684-6A1D-4D9B-BA6C-EA21989687CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7053c119e620b9c3b3c8c19da3a6a2d1be1e3c68","datavalue":{"value":{"entity-type":"item","numeric-id":5538934,"id":"Q5538934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759491$83CF162D-9BFA-4806-BA28-A97283425BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a0f0b2b67b69fedc8c9743c73e818943a9359cf","datavalue":{"value":{"entity-type":"item","numeric-id":3939273,"id":"Q3939273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759491$D0C620F0-4BEA-46BE-8D4D-DBF011E887DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef75b4b5ae4f1119c1ac9bfdcf91039dbf37c93","datavalue":{"value":{"entity-type":"item","numeric-id":3829089,"id":"Q3829089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759491$9A688DF8-0858-4588-A053-21E88198ECA8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27b4f735c9b2a4668f9812a90084bf78f5c96da9","datavalue":{"value":{"entity-type":"item","numeric-id":1383993,"id":"Q1383993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30f9bf552e36ad68ba8c387de08552da9c370477","datavalue":{"value":{"amount":"+0.8615561","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q759491$34758097-0EDD-4319-A86B-BA32B0948B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55bef6943e56920510c26e520ab856ad845313dd","datavalue":{"value":{"entity-type":"item","numeric-id":1904397,"id":"Q1904397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8813c5363088d97fd74a3b6237d0a30e3976abf","datavalue":{"value":{"amount":"+0.8417478","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q759491$E53EB8A5-9AB7-489C-A5EE-2CF62D5F6C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"515f9680cfed96d244f05f9d0db5bbda4bb187be","datavalue":{"value":{"entity-type":"item","numeric-id":3681966,"id":"Q3681966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f3322a6c2ff4a2ce79d59c4e6f6bde61d2e417e","datavalue":{"value":{"amount":"+0.82850647","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q759491$F5ABBD51-2109-46B8-9964-7FF489CD7016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1ea6388c7a6eb11fbaca42ccc3d6eacbafc4e12","datavalue":{"value":{"entity-type":"item","numeric-id":3722494,"id":"Q3722494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98ade5d6f87ece417ea74202d05fb0b047931835","datavalue":{"value":{"amount":"+0.79276955","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q759491$5250BC71-9BCE-4CE1-B872-BDA9B8A67763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"705d17601d6768d73030802ffd030f3e61e12d45","datavalue":{"value":{"entity-type":"item","numeric-id":1906674,"id":"Q1906674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f19f660645e15b2b8c988a1e5c41179d85496df","datavalue":{"value":{"amount":"+0.771875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q759491$8F7AD7BE-2A96-4A1F-804B-2B410DE85C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84e2e927c49f5aaeddd0d3fc52fdcf3a7bd3615e","datavalue":{"value":{"entity-type":"item","numeric-id":3786023,"id":"Q3786023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d0fedfc59dc376c2b9682d3c667ba7dae271cc7","datavalue":{"value":{"amount":"+0.7718397","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q759491$C0E927EC-ED27-498E-8685-23A24AC40D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a1ae0faa776010c82c0469a6c173228161f4533","datavalue":{"value":{"entity-type":"item","numeric-id":2640348,"id":"Q2640348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"194355e7fd2df5c217963c9b9eaecf2a56774fa7","datavalue":{"value":{"amount":"+0.7624953","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q759491$A9D81178-3A32-41BE-9AAC-7F85B2E838AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"271af4481b8fde982d3a3e22f80f788f5859642b","datavalue":{"value":{"entity-type":"item","numeric-id":5011969,"id":"Q5011969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbd93799fe6da252cd9b23f78833c5b0911d5422","datavalue":{"value":{"amount":"+0.7570984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q759491$2BEDB1EA-BB63-4183-97FB-FBF807E5163C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aa0abf5822fc76dad79c300a665560405a1b812","datavalue":{"value":{"entity-type":"item","numeric-id":6488553,"id":"Q6488553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"790895aacaf0943f491cd90d1a9169918f2b5ade","datavalue":{"value":{"amount":"+0.7535586","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q759491$5C69C5FC-605F-4FC0-879D-2F90BA6BBC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"927c168b85410f275733e23e38782b7892d530ab","datavalue":{"value":{"entity-type":"item","numeric-id":2565056,"id":"Q2565056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7516008133246b5827534ab4b1ef90dd9b75373","datavalue":{"value":{"amount":"+0.7535236","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q759491$FE40D7F7-7D87-487A-AD8D-D23C572D66A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_new_use_of_an_automated_reasoning_assistant:_Open_questions_in_equivalential_calculus_an_the_study_of_infinite_domains"}}}}}