{"entities":{"Q581397":{"pageid":583164,"ns":120,"title":"Item:Q581397","lastrevid":62929896,"modified":"2026-04-11T09:03:04Z","type":"item","id":"Q581397","labels":{"en":{"language":"en","value":"Sound, totally sound, and unsound recursive equivalence types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4019043"}},"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":"Q581397$C5ACDAA3-0553-41A8-908C-925D2575B86A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f2cc57396fcb14403f28322983c0765b2c7219a","datavalue":{"value":{"text":"Sound, totally sound, and unsound recursive equivalence types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q581397$919CA186-3DFE-4AAE-9BFA-134E648207AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"691a66dc4d2e7a779a9053768b4515a0a75d0e9b","datavalue":{"value":"0627.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581397$7274903D-99F5-4AF5-A777-A874A601F461","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"119f65cda8727f46ea911f6cb79bb4e46e3e4dd6","datavalue":{"value":"10.1016/0168-0072(86)90060-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581397$B563E5DD-CF1B-433A-9945-88AD76C4085D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2356fe1f1f6d7960e11f0114cbd6aa7fe05024f7","datavalue":{"value":{"entity-type":"item","numeric-id":247180,"id":"Q247180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581397$EDAEB4CB-35FB-4BF2-9E94-72FBE1DE79F2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581397$DD516A82-74B5-45F8-B647-4F36BA21E93F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q581397$B4033CAC-8751-4031-A9C1-099DC8D62581","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"260afbe1b3239d93b958cf33fd25ae0afca15a09","datavalue":{"value":"03D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581397$32EE22D2-A9D7-415C-9C65-44B4BE623CD7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4c968dd3c1ac445b78807db5f5a6d6a4fb20feb","datavalue":{"value":"4019043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581397$B3CC63E4-3CAD-4FFE-BB6E-97CD56AB9F28","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d3390ae7afbde86a19b5ae1608ac25ccdf1cca7","datavalue":{"value":"unsound","type":"string"},"datatype":"string"},"type":"statement","id":"Q581397$A2947268-74AA-4688-AD8B-85A7FA410B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11ef3f004698a9a863d76787b61f0d9c0f0e6554","datavalue":{"value":"totally sound","type":"string"},"datatype":"string"},"type":"statement","id":"Q581397$4720DC32-F805-44A9-AE1F-F6EA90B7E255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edea3b5e3d66b5ca9535be00d9ce4af1baf14984","datavalue":{"value":"isols","type":"string"},"datatype":"string"},"type":"statement","id":"Q581397$145CD9AB-7DF1-48A0-B401-9453B1A60DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3adc047020df410d528065d40adcf09a779f8df1","datavalue":{"value":"r.e. degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q581397$FE127424-8318-467A-BB73-9C23C8C63F38","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":"Q581397$E37B2894-1C44-47EB-9BF8-2AC2C4F4A1A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d46a52e35a8d021a01117f465bff8e6447b7ab3","datavalue":{"value":"https://doi.org/10.1016/0168-0072(86)90060-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q581397$5094009C-C16B-46F4-8CF5-948FBAFC4005","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3f16fe022eb7fae43913bac22db2adbb608a0717","datavalue":{"value":"W2012571151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q581397$C38CF94A-27AB-4480-AD89-B80D4C072305","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6edee17e41d1e1838c951dbd5cbd21227fe68f52","datavalue":{"value":{"entity-type":"item","numeric-id":3710516,"id":"Q3710516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581397$5CC16616-79D7-43D5-8099-5E5EB4833660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02834c8bf667417dc8827a2d0fdcb8aa564d1ab3","datavalue":{"value":{"entity-type":"item","numeric-id":1076073,"id":"Q1076073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581397$4DCF4FFF-85DB-45D0-8A7B-64843B773906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dff8940ff1631e81eb655f48fccfee6f0bfebd98","datavalue":{"value":{"entity-type":"item","numeric-id":3669397,"id":"Q3669397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581397$26BCC061-0C16-44A0-894F-D3682E265489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20d04c971e93b3296c2986eeebfd5f98a034aa85","datavalue":{"value":{"entity-type":"item","numeric-id":5521482,"id":"Q5521482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581397$4BCE83D2-6EED-403C-8191-296430AF1F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7ac1022d2bb17bc318e60f454019784ebfb7d88","datavalue":{"value":{"entity-type":"item","numeric-id":5613188,"id":"Q5613188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581397$1DE332C9-6139-424A-A91B-AF9F4C5644E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e987d1390f6841151896d825e8d84e035b1bd2f9","datavalue":{"value":{"entity-type":"item","numeric-id":3904556,"id":"Q3904556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581397$E7D0F2FE-6645-4372-B339-F8D2C3478EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd8cd57f8744a433af3a948740b0f67628f1f9ac","datavalue":{"value":{"entity-type":"item","numeric-id":4769050,"id":"Q4769050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581397$BDE67E3C-4E2B-426D-B1E4-2D872EB7053D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc372194cb74f317070724e85cb733e27c573324","datavalue":{"value":{"entity-type":"item","numeric-id":3926567,"id":"Q3926567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581397$773BA249-85F7-4523-91DE-E88D8E232C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76b255eb9965cfb7ce74d759348f6f8f178cefad","datavalue":{"value":{"entity-type":"item","numeric-id":3041180,"id":"Q3041180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581397$7B19BC86-FBE5-4931-BEB3-E71F3332E1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19414b7dec59d884382f4d1d9ed911e82fa1c401","datavalue":{"value":{"entity-type":"item","numeric-id":3701412,"id":"Q3701412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581397$F207ADE2-ECC8-468E-9123-7289718A0079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"829664b6e866f27a018947278e0a58c4a7173f3a","datavalue":{"value":{"entity-type":"item","numeric-id":3318765,"id":"Q3318765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581397$9A6B4A56-F3E2-4DAF-B368-0300F0E767CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58df850012ae705b6f28a94053861bd26a5ace70","datavalue":{"value":{"entity-type":"item","numeric-id":1093629,"id":"Q1093629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581397$77E84984-ACC8-4DB0-901A-E9A2112B84DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"437e3f02018695fd7e184a1ef74211193d7a49b6","datavalue":{"value":{"entity-type":"item","numeric-id":3689174,"id":"Q3689174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581397$34254632-660A-453D-B328-361A4135DD9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bd084570b4829f69a9d6f1b4c9d70c85e9f205","datavalue":{"value":{"entity-type":"item","numeric-id":3718696,"id":"Q3718696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q581397$AC20B3F0-2AE7-437C-A5B6-1B3114C2BC05","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de5fa3d7a7f767301577c0100e87464908293e78","datavalue":{"value":{"entity-type":"item","numeric-id":3676136,"id":"Q3676136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f08d64d481bd5170aa361c388700a51c4ce4aa1","datavalue":{"value":{"amount":"+0.7587131857872009","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":"Q581397$BE6CE531-5D22-4A40-86CE-3E245DFE08D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8b411454046be8a802ac4360bfaf617254cd9b6","datavalue":{"value":{"entity-type":"item","numeric-id":3030814,"id":"Q3030814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"506d55646ce2eaba9f0808dfd81a7fd0bb34224f","datavalue":{"value":{"amount":"+0.6995885968208313","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":"Q581397$44ECDFA7-3951-437B-9098-C55D8897F1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38d73b8c3c96f3ff17b1d57d45b594f957dc7a00","datavalue":{"value":{"entity-type":"item","numeric-id":1175483,"id":"Q1175483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2db3c000be426e5b12acd41be5524a1efe30d5eb","datavalue":{"value":{"amount":"+0.6843023896217346","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":"Q581397$42B2E0C4-3FD9-4903-93E4-923288029A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f40c7278bfe50cba94c119e945b5bb3a359f5831","datavalue":{"value":{"entity-type":"item","numeric-id":1094418,"id":"Q1094418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5a4e46c86bc9241b2b58b3e5b4b115d9acdd1cb","datavalue":{"value":{"amount":"+0.6840580105781555","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":"Q581397$0CE7660C-9D74-4D42-A260-F273D0B5A678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"933e93a18970daa8961f71399cf26e69d5a32a03","datavalue":{"value":{"entity-type":"item","numeric-id":3708009,"id":"Q3708009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3c57e73494b957af7a3d983975e49c38e151083","datavalue":{"value":{"amount":"+0.6824339032173157","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":"Q581397$1B6C689C-2408-49A1-9E12-BDA1896BCEF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sound, totally sound, and unsound recursive equivalence types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sound,_totally_sound,_and_unsound_recursive_equivalence_types"}}}}}