{"entities":{"Q3681966":{"pageid":5711872,"ns":120,"title":"Item:Q3681966","lastrevid":50100928,"modified":"2026-01-12T22:51:03Z","type":"item","id":"Q3681966","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3904002"}},"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":"Q3681966$029D640D-2B94-448D-893C-5433FF15002C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5acca1c5e8569d126b9886024c80a08a4baea7c","datavalue":{"value":"0566.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3681966$04D10C2E-6BFE-46FC-A0A1-B2F8A3E1FE4D","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":"Q3681966$AAD3468A-D0D6-4EC9-BC66-AC3B75FE8396","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3681966$59F5A671-2450-44D1-8E43-B75F2465E3D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7fb7a0b0f3b403e870a873da873a362835565f4","datavalue":{"value":"3904002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3681966$E62C0A43-E767-4877-816F-8B12FF8CBD9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0eb0f5af803150db3a83a2a683bd8c1643660152","datavalue":{"value":"AURA","type":"string"},"datatype":"string"},"type":"statement","id":"Q3681966$C83C2259-4EC3-42D0-B592-6A2ABD0045C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fab22229cdb76cd22e9473b391c75879d9356f7","datavalue":{"value":"AUtomated Reasoning Assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q3681966$8DF68997-C16A-4446-97B7-55AD04A90E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1acddaf8d75e55984fcce2206757cf2574054bb","datavalue":{"value":"ternary Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3681966$D6868307-A177-401D-A229-FF76DA8E4E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f531b0e0a828fa7a37e8a4a90f6c1f6ca89420f2","datavalue":{"value":"finite semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q3681966$9893A25C-A381-4942-A391-D5C9CCE2B80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90689de7bc49a49a53888ddce7f52f19db72960f","datavalue":{"value":"Robbins algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3681966$54DA9DFD-D28E-4901-8313-393229385FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7a3064cc446fdc319ccd440f7ee9dca559f98f9","datavalue":{"value":"equivalential calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3681966$369BD171-5971-4663-AB1C-BC24E8B2E502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"683cc84f738e58255642024d756293032f93f204","datavalue":{"value":"R-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3681966$5298D97C-FFC9-4B64-B571-271F6351B7C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dc467c341d287528ed2f89078139e11d0580191","datavalue":{"value":"L- calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3681966$A6E2E390-CBA9-412D-848B-198CFD3764F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a33bfb266517f37c2893982b2b0f9fde5f7330a","datavalue":{"value":"models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3681966$87C4BD01-F893-4F18-B9E8-AE46783CBBC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43e72f18a6d6d4af9d0b64b4577421c0d9b7a93b","datavalue":{"value":"counterexamples","type":"string"},"datatype":"string"},"type":"statement","id":"Q3681966$2B2CA840-62BB-47C5-B5FE-9086C3835A0F","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":"Q3681966$9E27C272-948A-4FC8-BD92-9B787E8F7AE7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa9ee196048636048be4a709ecfab57184cbee98","datavalue":{"value":{"entity-type":"item","numeric-id":1354049,"id":"Q1354049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8588ed19c01da6d433aedcd560b962e700dae052","datavalue":{"value":{"amount":"+0.7634892463684082","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":"Q3681966$5C9C606D-59A3-4629-8C5C-3EFA6276B2C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e16e423d520bb6c4a9254a8f3468a6247a48b7e","datavalue":{"value":{"entity-type":"item","numeric-id":759491,"id":"Q759491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c197d5e132b9ddc58aaf06f0a9a1fec9b83b057","datavalue":{"value":{"amount":"+0.7236967086791992","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":"Q3681966$5CEFE607-2CB0-4A4E-99C0-2F322915F01B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9879dd4bcfc394bd7fbf19a2a41945cd6f6376c","datavalue":{"value":{"entity-type":"item","numeric-id":2754067,"id":"Q2754067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed2b5a4fd15ad4ef73988b9cee5428ea5050c6f","datavalue":{"value":{"amount":"+0.7157536149024963","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":"Q3681966$D7724608-3F3E-4E16-B3EC-2B86B740BDDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d448e36f8cfd439c62b2349ee8debe81db53b2bf","datavalue":{"value":{"entity-type":"item","numeric-id":3105697,"id":"Q3105697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73b67a7c82c5a28ec133709ac7e2f09e81af2b92","datavalue":{"value":{"amount":"+0.6945608258247375","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":"Q3681966$F9ACFC2D-B755-4825-8C92-E2AA79EECDD5","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":"61c94b18493630a255865f1e8642c48657782363","datavalue":{"value":{"amount":"+0.6886874437332153","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":"Q3681966$DE5D6F6F-A667-4EA1-980D-6D901B0C8DC3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3681966","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3681966"}}}}}