{"entities":{"Q1675181":{"pageid":1685922,"ns":120,"title":"Item:Q1675181","lastrevid":71880513,"modified":"2026-04-14T01:09:07Z","type":"item","id":"Q1675181","labels":{"en":{"language":"en","value":"On the logical equivalence of functional clones"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6798788"}},"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":"Q1675181$A847D798-9BA3-4654-BA3D-EB125E6CD5B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7fc51f789a322a0f2a20bbee568ff1e51621b441","datavalue":{"value":{"text":"On the logical equivalence of functional clones","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1675181$1FF9A387-F4A3-41E9-ABDA-F8E7DE807A75","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78e70a59837d59bb5ddc03efc5af0c9f5b175b00","datavalue":{"value":"1420.08002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675181$AC650C21-902A-4A44-95D6-B28985F53A08","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4d442a0eaa2bf1ed4478206672f22207c18c2df","datavalue":{"value":"10.1134/S0037446617040139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675181$8FC43B12-EFAB-4440-BBDF-A3ECD8898B51","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e37b70c1c156ca795db15295b6a9eec87e7b4908","datavalue":{"value":{"entity-type":"item","numeric-id":307878,"id":"Q307878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1675181$92470D10-A011-48AB-AD53-3FD2EC948B2D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1675181$91C42150-641E-4873-9A90-E55B0189449C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8feeb1cca2d914464752fa09fbf4f8c1020610b0","datavalue":{"value":{"time":"+2017-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1675181$CDDBB213-4E01-4304-8F18-AFC12EE30A04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675181$6D2BA713-165F-4D95-8B37-121A6C533AD6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33d335675b65a8ff4b4fa21d4ea1efded2c70afe","datavalue":{"value":"6798788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675181$8E271DDB-46A6-4229-BDC0-E6F3B667C22E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"869ec7d06a3e82401595c0dcf0ab836c393a7af7","datavalue":{"value":"functional clone","type":"string"},"datatype":"string"},"type":"statement","id":"Q1675181$2EEDFA38-0E45-4678-9231-F973C607F201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e36c3e020c496edc6fcca3971428a735220b32d2","datavalue":{"value":"quantifier-free formal set of universal algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1675181$E580E209-EE0D-4F75-8768-E4D99425281C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc3050fa35c2f4b9630df14a7d1155d93fd1e4d6","datavalue":{"value":"conditional term","type":"string"},"datatype":"string"},"type":"statement","id":"Q1675181$EEE4B115-BC53-47A5-BB00-D75E9CF5256C","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":"Q1675181$A53B2FD7-4666-4E57-9DEF-57B4048C4A6C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e664c05aea42c505971003948666c6f840bf186","datavalue":{"value":{"entity-type":"item","numeric-id":3281057,"id":"Q3281057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1675181$11C0051E-53F1-48C1-BD72-6875E48AC20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9facb3f60b17e444a74950bafa233b02e2b71849","datavalue":{"value":{"entity-type":"item","numeric-id":1908449,"id":"Q1908449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1675181$8E2ADBD9-50A7-4C0F-BDFD-B70ABDBE5474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d85da6c3429763bd368296c004210da38c40ec2","datavalue":{"value":{"entity-type":"item","numeric-id":3893897,"id":"Q3893897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1675181$2DD261B5-9D34-4E98-BA0E-53F8EE85C850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa1a5940a8f73d2d5f42b691687c0ca06533b89","datavalue":{"value":{"entity-type":"item","numeric-id":3068288,"id":"Q3068288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1675181$00327C66-1A4D-4ABA-AA5F-ABC9A44F2F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faa411d10a7d22d3d7cd8dce7ca8e98486751f2d","datavalue":{"value":{"entity-type":"item","numeric-id":1920692,"id":"Q1920692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1675181$113E82A4-6EE4-4C66-A0D8-B7369742A552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70fec69a16ac70ced9421be0e663b202c043f8b6","datavalue":{"value":{"entity-type":"item","numeric-id":1921845,"id":"Q1921845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1675181$C82D2553-C05F-41C1-A0A1-2CAA0E44F51C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e5a91faf584a0c71dc231402cc185a8f89c1f22","datavalue":{"value":{"entity-type":"item","numeric-id":3079224,"id":"Q3079224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1675181$8810C9F7-10C6-4481-A3AF-268342E056A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"752c58234a15997b274f317f8fb0fe1fa0dff9a1","datavalue":{"value":{"entity-type":"item","numeric-id":744308,"id":"Q744308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1675181$EE1A3A48-EF65-4C40-97B1-DA4E86ECC4C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92b2dd26258d36971b1f9f32a94b28084549748e","datavalue":{"value":{"entity-type":"item","numeric-id":1703266,"id":"Q1703266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1675181$8F72E91F-2355-41D9-BFA2-C3F8B966F321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a033cec785bc33eb508346e7e57772153472c64","datavalue":{"value":{"entity-type":"item","numeric-id":2630568,"id":"Q2630568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1675181$4F885E38-FDAB-4DB9-9ACF-592CBC26F329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13b0195eeeeb51460f2206e0273b08d50b5bd779","datavalue":{"value":{"entity-type":"item","numeric-id":2401540,"id":"Q2401540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1675181$244D1528-D2DA-462E-BE9A-5F9250CBC9D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac4f0aff8141327e984d889fc14bc85f59abbb7e","datavalue":{"value":{"entity-type":"item","numeric-id":4709920,"id":"Q4709920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1675181$030202D0-21A4-4028-9F96-CDF6660258AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9f90f636918682030be864ef13e4f4cec32c7b6","datavalue":{"value":{"entity-type":"item","numeric-id":1363477,"id":"Q1363477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1675181$C87E9945-8739-48FB-B556-B5867C164C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af59feca82cdeb8ffcef58549f7a09abb67c00fe","datavalue":{"value":{"entity-type":"item","numeric-id":2630495,"id":"Q2630495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1675181$8E891097-FC83-4BDA-8D63-3153D1BB2BE4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b56172ce3f44fbdc897f7033a2fe4182c20210ec","datavalue":{"value":"https://doi.org/10.1134/s0037446617040139","type":"string"},"datatype":"url"},"type":"statement","id":"Q1675181$7F9FE6DE-4171-4ED1-8438-98E11AA18B58","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e60ef709dc036d99e041e83e1358faa5027259a","datavalue":{"value":"W2751109598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675181$96D29EF2-8BDF-44B4-A8C1-0FA3E440FAAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the logical equivalence of functional clones","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_logical_equivalence_of_functional_clones"}}}}}