{"entities":{"Q2003444":{"pageid":2014186,"ns":120,"title":"Item:Q2003444","lastrevid":53471237,"modified":"2026-01-25T00:32:01Z","type":"item","id":"Q2003444","labels":{"en":{"language":"en","value":"Pseudo-inversion: closure properties and decidability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7077535"}},"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":"Q2003444$72231488-1708-4828-B223-421729B41EDA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6df6661efe24741b5d93d735606880893595601","datavalue":{"value":{"text":"Pseudo-inversion: closure properties and decidability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2003444$7F7C0EA9-87CA-4901-BD16-8CF5520B9B70","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96c9e5e273860bf09db0681e6b49881750de0da2","datavalue":{"value":"1415.68123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2003444$82D6032E-B9E3-4C95-B05C-CFEA922CCC5D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f080d4d2b68a16f6be05950e9cd7bd8d83b31f7e","datavalue":{"value":{"entity-type":"item","numeric-id":401314,"id":"Q401314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003444$EBFE0D0A-BF4D-4464-93BF-D16DC938E8D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91b9be352a0547cbf58bc75f40a54645b3913886","datavalue":{"value":{"entity-type":"item","numeric-id":247253,"id":"Q247253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003444$F50DAD3F-070C-4962-8292-B31A4999DF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"531e0b0664c221d0a838736c26fa02c9080a7c84","datavalue":{"value":{"entity-type":"item","numeric-id":2003443,"id":"Q2003443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003444$6FF06BC0-E0B7-4FB1-9BFA-720E6D0650DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4716bc44518029eea0cfb9acd7c6b1dcd95c039b","datavalue":{"value":{"entity-type":"item","numeric-id":500958,"id":"Q500958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003444$F4AEA0A3-A8E6-4BDC-981E-82E08EF2004A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9921fec4a90bb1826d53253a693327953103aa8","datavalue":{"value":{"entity-type":"item","numeric-id":247254,"id":"Q247254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003444$F9F36220-5F48-4D80-8B1D-EA93DF4557FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8455035442168fbb99576351474dec2ff822256f","datavalue":{"value":{"entity-type":"item","numeric-id":247255,"id":"Q247255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003444$9D256333-9E6A-457E-8FD8-E72CE629A990","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a9d77ede1a8408d993d00a7f76c07ffe71b2f440","datavalue":{"value":{"entity-type":"item","numeric-id":243812,"id":"Q243812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003444$AF0D7803-C377-46DC-AC7C-D6DFD3F9FC06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95484946e883fc7b4dd3685da23c3ff319dc5c53","datavalue":{"value":{"time":"+2019-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2003444$86246853-7C0D-406A-BECB-431F3F0E005D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2003444$DCEF4D2F-A72D-45C9-9AB5-A9F4EF92D7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"505a49771a29a1df80db47f27f0ca3c9ddd29e48","datavalue":{"value":"92D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2003444$E8A4C2E3-6B25-4B26-A333-45813AA5BEAD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94f6507c3db45782a3317bfeff3e76988319981a","datavalue":{"value":"7077535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2003444$DC55A1A6-3135-4DF4-A378-EFF278D39944","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f11f1fe56f3debe36d12a43e9367c5a58bf1b63d","datavalue":{"value":"pseudo-inversion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2003444$2528710B-239B-4DFB-ABA8-2086817807AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88d50c0b8aa4b6308106daadb0c3db3cd8d477a2","datavalue":{"value":"bio-inspired operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2003444$17519E0F-35DE-4965-9C30-D7C2E903F6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9a7b03c1290f4420f511d8fcb71a4d38b5c445b","datavalue":{"value":"closure properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2003444$17A4C6EC-91EE-40B4-BCD2-AA348440B955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2003444$F212F8B4-CCCD-435A-93BC-6C5758BFAA81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2003444$4C4A765B-9F55-44ED-91AA-78190A87C428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f4d167d5058267027f7c6cdac7a23fadf6a135d","datavalue":{"value":"reversal-bounded multicounter machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q2003444$CA1D62C5-2C30-4053-B5D1-2C0895B34C39","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":"Q2003444$C7C4C166-3518-49A1-B0DD-7B125F4C97DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd29b20e7d0d451bbccea5c559dbebe871c9d288","datavalue":{"value":"https://doi.org/10.1007/s11047-015-9502-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2003444$35806969-48DB-45C2-9724-603021F1DACE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0471e82b08281cd3f27367b9ceb002268dcad8df","datavalue":{"value":"W571300759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2003444$CF2D026F-30ED-40A3-AE15-110704ABBF71","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0364ee1f18aecf502572cff43af9dae0ebc8eaed","datavalue":{"value":{"entity-type":"item","numeric-id":390885,"id":"Q390885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003444$386C6DA4-B7BD-46D7-90C2-9FC6EC5F4CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69f72597a45126ed3a9815919ac5f4ac39e5636f","datavalue":{"value":{"entity-type":"item","numeric-id":714812,"id":"Q714812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003444$FD9ACF62-94CB-484D-AF43-903459BD3713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fb7500cf5f0bf6733dda76a861d96f8cc5b8ecb","datavalue":{"value":{"entity-type":"item","numeric-id":2339453,"id":"Q2339453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003444$4E37746D-B77D-4472-8027-1EEEEEAB0044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d412d3babe7759e20904088827099981e64220a","datavalue":{"value":{"entity-type":"item","numeric-id":2799167,"id":"Q2799167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003444$54379734-260A-4353-AB58-6492334CDF51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a96b48ba47e8e7a8f7675127b6124ab1f62b843","datavalue":{"value":{"entity-type":"item","numeric-id":1426436,"id":"Q1426436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003444$A74392DB-FEA8-4A43-AC0D-C7F1D9464E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007e028670f7d04b604aec473189d61d3d584304","datavalue":{"value":{"entity-type":"item","numeric-id":596126,"id":"Q596126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003444$0318EB1E-0039-4715-83A8-DAAF8BCC1053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ea9c6c754abae33a33a2906f4267104e197668f","datavalue":{"value":{"entity-type":"item","numeric-id":5958327,"id":"Q5958327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003444$E61308D3-DF38-4900-BB69-B57E86893DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65ac23ff0d4cd9001f838ae713deecaccdfe50ad","datavalue":{"value":{"entity-type":"item","numeric-id":4089754,"id":"Q4089754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003444$2159EA05-2C98-442A-A0B6-F551892A88D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003444$FD00A78E-2DAB-4E36-A090-21C8AD042CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"204982ed9feeccb0b7979133cdf2bb1bdb00a6dc","datavalue":{"value":{"entity-type":"item","numeric-id":1401178,"id":"Q1401178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003444$0CFD81EB-9704-444F-9BD1-BFCEA0130821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"182981e0e770b39d22d2da0fccd0d6dd8798182f","datavalue":{"value":{"entity-type":"item","numeric-id":4140393,"id":"Q4140393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003444$AECE6514-4D2A-49A7-86F7-7A2427851E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f945583bf8cec820dc2a4b6a896bbeef41fdb11a","datavalue":{"value":{"entity-type":"item","numeric-id":2921479,"id":"Q2921479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003444$DA42A26B-8FC4-40A7-8C0A-90F27FA9AB24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"861e883328470cebdd5691efaa788e6f45696ee0","datavalue":{"value":{"entity-type":"item","numeric-id":5506343,"id":"Q5506343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003444$F02D5F70-73E6-4780-81BA-953E953C839A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fabdf4635b905b4a2e32cd13bdee9345ce81853","datavalue":{"value":{"entity-type":"item","numeric-id":5482599,"id":"Q5482599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003444$CEA7E016-96D2-4D7F-9F2F-2D0C92EAD252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"031ea307024be37df719ca289fe33b618f662c9c","datavalue":{"value":{"entity-type":"item","numeric-id":5452567,"id":"Q5452567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003444$18A425C6-24AB-4FE6-9565-C7F435C32B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a8d14eae1fab181499f44d4720082adebedfb9","datavalue":{"value":{"entity-type":"item","numeric-id":5845383,"id":"Q5845383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003444$89D9C047-AF9A-48E2-936B-22DFA75F862F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56aa7a343db226e6c7da9bd7db585a412df58862","datavalue":{"value":{"entity-type":"item","numeric-id":5678435,"id":"Q5678435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003444$01874F6F-61C6-4B55-8F54-92B8038DC903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6528a030fc44a5fdde94e377573cf487fb3e5ea","datavalue":{"value":{"entity-type":"item","numeric-id":1191622,"id":"Q1191622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003444$9231BD94-9886-4A58-8B1E-7D5F0B88690A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f99d516f03f630b465144bf2edfacff7e586661f","datavalue":{"value":{"entity-type":"item","numeric-id":3549457,"id":"Q3549457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003444$0A6BECBA-AE37-40D8-98ED-FABC55F34170","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af99c47e3a6edf42d3615cdb145fa4726008ad9f","datavalue":{"value":"10.1007/S11047-015-9502-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2003444$6727C2A3-3F91-4F3D-8157-927E0CE10A33","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ce13ac6e152005b735679a07c95d95cf09f5614","datavalue":{"value":{"entity-type":"item","numeric-id":2945533,"id":"Q2945533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42953c7a1427fc73268a3836f6c055eed37aa0bf","datavalue":{"value":{"amount":"+0.9174329042434692","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":"Q2003444$CDF92C7A-59E7-4C80-AF29-EC95A091D250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42a33fc8c7280c64ed77f04290174a9534baf4e8","datavalue":{"value":{"entity-type":"item","numeric-id":500959,"id":"Q500959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"204ea738a9d71427cc62449175a460a0f10f407c","datavalue":{"value":{"amount":"+0.8042389750480652","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":"Q2003444$D0A62F6B-CA36-4F64-92D5-94E5E90AB848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65e78d71891c827f611a828f12ab484be7300eec","datavalue":{"value":{"entity-type":"item","numeric-id":2921479,"id":"Q2921479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08df62f6145b9f4a1aed1bf8a58b0063b1e5001d","datavalue":{"value":{"amount":"+0.7673048377037048","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":"Q2003444$F9BB66FE-FF0F-4A8C-84E5-ABBD05944388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ecd2471a9696051f405e5f33e1c8590458e03db","datavalue":{"value":{"entity-type":"item","numeric-id":2311220,"id":"Q2311220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a23d9e50e7eb4701694921504545b4ffb0638ed","datavalue":{"value":{"amount":"+0.7547225952148438","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":"Q2003444$39FB1B88-0630-48CD-87CE-0B5960B70955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b801f74c3e6d1c4cf847003d960a35545b3c16e4","datavalue":{"value":{"entity-type":"item","numeric-id":5496181,"id":"Q5496181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ba48cd817d672f9708e95a22ffc76144da5a259","datavalue":{"value":{"amount":"+0.7187665104866028","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":"Q2003444$0520C92A-5F83-49C1-82BF-3AD79A23617A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2003444","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2003444"}}}}}