{"entities":{"Q1392214":{"pageid":1402954,"ns":120,"title":"Item:Q1392214","lastrevid":70776981,"modified":"2026-04-13T16:54:56Z","type":"item","id":"Q1392214","labels":{"en":{"language":"en","value":"A counter-example to an algorithm for the generalized input--output construct of CSP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1178831"}},"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":"Q1392214$F5FD0B89-B291-491F-8FDD-0810291FC3EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"679c08bc9dead7b6f47d720c7391963e4e96a1d2","datavalue":{"value":{"text":"A counter-example to an algorithm for the generalized input--output construct of CSP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1392214$0DA92675-A7F3-43EC-8B0D-D8234A6670FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6bcdb711d7f7d0132524212a476f7bfb0d89ec6d","datavalue":{"value":"0925.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1392214$C96CB7BF-ABB5-4003-AC90-C5C3F5134EE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"59792fde8b73948db0a66f13e1d50cf0caea5d36","datavalue":{"value":"10.1016/S0020-0190(97)00040-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1392214$8902E014-1A71-4279-A0F9-ECC9BEBE2E8F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20d30e049daed1a5d329ee4250984f3d34fb0425","datavalue":{"value":{"entity-type":"item","numeric-id":1194807,"id":"Q1194807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392214$047B3A87-1720-4295-B1C9-C39CA860DDA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f5ab188a50b654494a56f4562778300798f8d64","datavalue":{"value":{"entity-type":"item","numeric-id":919841,"id":"Q919841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392214$8914C73D-1E6F-4117-BA95-0EC182A36FEB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392214$BCB63C30-2BF2-49EB-9FAC-DD1457075856","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d96c2cb4969d738c6643f0931d5feea9b1bc9e9","datavalue":{"value":{"time":"+1998-07-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1392214$8491520A-86BE-4459-928D-22D716F1DB08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1392214$8118634D-FFDE-45F5-9FEA-09190E0505DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1392214$BB9CBB0D-7911-42FF-B98B-DC183A1E0A1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb13fb31459037b71c55e8ff472bd7ab3139a07e","datavalue":{"value":"1178831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1392214$6C04B383-B1C6-49FD-8752-E7075947255D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"649f4383cd90b5d41a7e396ebce770fb6a00d6e9","datavalue":{"value":"Distributed computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1392214$CFA68DEE-6CEC-4EE3-B9D8-212A57E05C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0ab01a9249e8b8b5ce5b297680636743e961ae3","datavalue":{"value":"Concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1392214$56AAFB9B-B167-4282-91F6-46C3F5963AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07069202e23960b8ed4732023a80069e9bdc6ee3","datavalue":{"value":"Programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1392214$240C3D0B-0560-4F79-AF68-306A2AEA6969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0991441c70d8fa144c6ed3ae0c8cdc9b88690cdb","datavalue":{"value":"Program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1392214$816537B5-6E71-45D0-B24F-8603024167F0","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":"Q1392214$F490C4FC-B5B9-40E9-B9FD-37914C5E2B26","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"61b2be8630819c0185168a7a93ceacaa68493468","datavalue":{"value":{"entity-type":"item","numeric-id":3664419,"id":"Q3664419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392214$571BFDD2-349F-4D55-9840-990642CCFE94","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"56e487a18337ecf06aef823a757e7ff058131d02","datavalue":{"value":"https://doi.org/10.1016/s0020-0190(97)00040-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1392214$B9E701C9-4564-4AB4-BB2B-E08544332D30","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"04cddfedcfe62d8f79aad816a553f3847e89fa14","datavalue":{"value":"W2015414411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1392214$0E85E00F-08C1-4A40-BBB2-E492B8A2BDB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A counter-example to an algorithm for the generalized input--output construct of CSP","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_counter-example_to_an_algorithm_for_the_generalized_input--output_construct_of_CSP"}}}}}