{"entities":{"Q4640286":{"pageid":6669867,"ns":120,"title":"Item:Q4640286","lastrevid":55935514,"modified":"2026-02-21T07:26:54Z","type":"item","id":"Q4640286","labels":{"en":{"language":"en","value":"Monadic decomposition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6869324"}},"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":"Q4640286$BF3191F0-6C7E-4183-8B23-0B4D6E0C464E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28fa0b81b750ffc6bf060b23a1be8762865e88b2","datavalue":{"value":{"text":"Monadic Decomposition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4640286$674A2E02-FDB4-409B-8874-71314E11F45C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dfe1c98e853dca499aab924433d5fb90625d22d4","datavalue":{"value":"1426.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640286$C1F901B0-1E3C-4F1D-8AAE-28BA36396BAB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7fb9153709a89dfbc604a0ff260d88b34c17e207","datavalue":{"value":"10.1145/3040488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640286$4557DE17-CBF7-4C3E-B503-D826E13C94FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"798125e2bf84cd3371872ac90f65bc577c3ec746","datavalue":{"value":{"entity-type":"item","numeric-id":286961,"id":"Q286961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640286$11816DAD-554A-4246-81A8-E4AFDF9E5384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f1a755ad39b856fc5a2e4101b7c12f7b83c7256","datavalue":{"value":{"entity-type":"item","numeric-id":483050,"id":"Q483050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640286$54D2485E-27C3-4F69-9133-0417B632F173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca8ef3b591ee70668bb32ad90aafbb2435311ff6","datavalue":{"value":{"entity-type":"item","numeric-id":283871,"id":"Q283871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640286$AF34E209-74D8-4291-9A05-1EB8FA7389EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85700c8280a09d2d42c50671133166f6cce8694d","datavalue":{"value":{"entity-type":"item","numeric-id":243603,"id":"Q243603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640286$0674E306-C046-4B1D-B4D7-C1DA1E527EB3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640286$186D3DE8-286D-462C-9F56-0E95220075FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7c01739a4214e1a2ae2105a086153c18669073f","datavalue":{"value":{"time":"+2018-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4640286$B5C18DC2-A04B-4195-9BFF-A1E02785B051","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640286$C05A79DE-19CF-40A3-B3A4-6A98BE0803FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640286$C50123C9-E9D7-4869-94CB-D40B32417DA6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a149c7a782cdc8b076266b3299f8006b401bbf4","datavalue":{"value":"6869324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640286$0B8C1FE8-AE7A-4D44-85D2-50ADCC17A46A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6310ae7fbf6e5cbf15b32d853e4d6f85f70b565d","datavalue":{"value":"symbolic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4640286$0CF09336-9F09-4DDD-8787-4A7701CC0B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ef580dc6ba1451aeadb852ac0dd131e497dec33","datavalue":{"value":"monadic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4640286$F84A29AB-DF66-4345-B46B-62AC1D57A356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1254a7c01d2970b87da2854c1fde40c268a1f55d","datavalue":{"value":"satisfiability modulo theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4640286$8C01C7A3-203B-4EBE-A219-D440BFE5F92B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10dac1b67128347de40c17a826018422e718f302","datavalue":{"value":"variable independence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4640286$88B05D26-5CED-4ACE-88D5-5AA4ECEF82F8","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":"Q4640286$F084ED6A-CA9B-437F-A96B-799D0FE1A011","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f53e8006c443bb6b22ab54b186664dbff079f1e0","datavalue":{"value":"https://doi.org/10.1145/3040488","type":"string"},"datatype":"url"},"type":"statement","id":"Q4640286$3B88DF95-8DA3-4CA9-97CE-4EB08EFF8F76","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"348b2ed588548d6b6a31e20c6ad49998fb6f8fba","datavalue":{"value":"W2623287016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640286$8E5F16C8-6AD5-4B86-9370-14751C81F56B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9a0a7c96c05c875a1aa6b676b0f57533942f9e05","datavalue":{"value":"Q131136077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640286$01CC8D0D-E10E-436B-A022-17DA099CA7F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58344d8c072ca6421ae20e65b73e33a910df62cb","datavalue":{"value":{"entity-type":"item","numeric-id":3549312,"id":"Q3549312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8860309641dd4ddff00ad1b9bab715c0bd6d630a","datavalue":{"value":{"amount":"+0.7391095757484436","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":"Q4640286$D192FB6E-E5E4-449B-8CDC-9190DDF943ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16a3f8e22cf493f4726e781c5c57ef5a355b1d5d","datavalue":{"value":{"entity-type":"item","numeric-id":2373700,"id":"Q2373700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce12fa9e46fad2ce50ca642ab462a6062ca8c32d","datavalue":{"value":{"amount":"+0.7080637216567993","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":"Q4640286$66F541AE-758A-4CE4-9EFE-60F0212B5C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e028d417ce6ec8443bcbb523bc4cbce9a9a057e","datavalue":{"value":{"entity-type":"item","numeric-id":1066880,"id":"Q1066880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"530e5fe0690fc2f8ce64a636816ad5e95d3d2c01","datavalue":{"value":{"amount":"+0.702867865562439","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":"Q4640286$3825F835-9FB8-4FD8-8AFA-5E0F152F6D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3edf9edd012652e7acce02f062dffcc4fe332e6e","datavalue":{"value":{"entity-type":"item","numeric-id":2405251,"id":"Q2405251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1a1a419e0754fa7831136b8af8b3e16cd9e8c75","datavalue":{"value":{"amount":"+0.7001713514328003","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":"Q4640286$295792C0-5F96-4001-8305-895294BB2F8D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4640286","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4640286"}}}}}