{"entities":{"Q1203120":{"pageid":1213869,"ns":120,"title":"Item:Q1203120","lastrevid":66473133,"modified":"2026-04-12T10:18:15Z","type":"item","id":"Q1203120","labels":{"en":{"language":"en","value":"Deciding bisimilarity is P-complete"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 110528"}},"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":"Q1203120$AE26D361-70A2-4809-86FA-08BAC25AE620","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47d24dc3f38fc77574f9858d6d45c3d9b66bd4ef","datavalue":{"value":{"text":"Deciding bisimilarity is P-complete","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1203120$FDCC09B8-B542-4A5F-B00A-1743CE0D5E4B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd821801c42b7221ae29f2144d2c7e18d40fb764","datavalue":{"value":"0758.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203120$F7FE84CD-F8CA-428E-9275-221CA6BBC36F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"727745ea8422e25dc6ccd04c70cfa3bf80ffaf62","datavalue":{"value":"10.1007/BF03180566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203120$F67A7B74-6B63-4E8A-80D9-93309FB43F42","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"387251027f7a6e047be71bdb6ddf8e33740cddeb","datavalue":{"value":{"entity-type":"item","numeric-id":415620,"id":"Q415620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203120$74075194-DF39-4740-A5D0-F5E0F980ED1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb01c5911b75cf8a04ac445d3e91b5ce7cb29956","datavalue":{"value":{"entity-type":"item","numeric-id":293413,"id":"Q293413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203120$0D4A80FC-572D-4AB4-AFF0-CCB0133B228C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"195a11023b9fa51026b0ae4c10238ff0a353371b","datavalue":{"value":{"entity-type":"item","numeric-id":407593,"id":"Q407593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203120$5B4ABA71-BFA3-4339-92BD-37ADCBBD6527","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203120$E93F00E9-32C2-4E31-8614-26880E70C6EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6804e778601fe2c7ca2ec610584daaeab1b8f8c8","datavalue":{"value":{"time":"+1993-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1203120$588B48B8-6043-459A-9E79-0D874D62D887","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203120$FAC245A5-88F1-443D-9765-293DBEC86B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203120$F60147A4-E603-4E29-8263-505D9132624C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203120$3C6DCEB4-1F3E-4B19-8696-39B82AF28B33","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5fca5b96dc5ef0e1b1fe51e5922071bffba4a395","datavalue":{"value":"110528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203120$75BFEF7F-4E3B-49B7-942D-31DC1B933211","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dba8a14c151bd08273c5a04f1ad265d82751a87","datavalue":{"value":"CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q1203120$B2A12CD1-3B94-44C8-9AB5-DF238327BFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7236cc8cb081daa05c110f63d7a7e64cabbf9869","datavalue":{"value":"P-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1203120$8665F789-5833-4DD9-BD21-F49A318CB2BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"383866048a26e22585a016b5b82d272ceacd9c79","datavalue":{"value":"bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1203120$C9191DDC-D8BE-4DA5-8E98-5916C35532F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2bfb87e2824966c9d52667daeea50403f446012","datavalue":{"value":"many-one NC-reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1203120$01D1E4DC-89F1-4228-AD87-F52742B8D3C6","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":"Q1203120$656053E9-2550-45DB-8BAF-EE00CF346643","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8c7fd9866fd2cc4867ad04c349e523a4e468397","datavalue":{"value":{"entity-type":"item","numeric-id":3474881,"id":"Q3474881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203120$7DDC62E3-F379-44DE-A8D2-22043EF549BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd4f9b219f54da4cc88e481211745b7b70548f30","datavalue":{"value":{"entity-type":"item","numeric-id":4039803,"id":"Q4039803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203120$4F0AC1D8-2063-4E7F-9C23-D29F0734ACE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5592afdbc278531a8faff3dfe5516c2b3be670a","datavalue":{"value":{"entity-type":"item","numeric-id":2640342,"id":"Q2640342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203120$907D02B8-80AD-4225-8C34-2B8DBB86EBE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d6a606679d544ce0836bdb1a85f7453a18002d","datavalue":{"value":{"entity-type":"item","numeric-id":918211,"id":"Q918211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203120$CD5E4410-E4BF-4EEE-A9A5-34218093298D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84bbca1bd52a8b705768d2a03b4b5b5c1b7c0d27","datavalue":{"value":{"entity-type":"item","numeric-id":4385522,"id":"Q4385522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203120$F0221A88-F500-4AAF-B165-3EFDBD33F3A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d84ade6a02bd73f79c254069b90a11e1d3dc467","datavalue":{"value":{"entity-type":"item","numeric-id":4095835,"id":"Q4095835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203120$3E4019F5-10F3-4B73-AB12-789C8C027D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203120$8A90A4CC-55FC-45CE-A6B7-0121DE6DFA2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203120$9D2AAF44-BBCE-4FC1-A25A-BD6C871177ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d630e5ecd91a4bf839fd44e533fa25f1b0e8d02e","datavalue":{"value":{"entity-type":"item","numeric-id":1263984,"id":"Q1263984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203120$2DABE4E1-70E1-4804-A18E-2D59AA1AA7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203120$31516985-9224-4D73-B796-1857213284B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66bc93cbca953e308ba80d56d252ce03b581ad05","datavalue":{"value":{"entity-type":"item","numeric-id":4720785,"id":"Q4720785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203120$4EF47FDF-5249-45F1-A66A-E62F56711D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c647fa1d172318cd49d05d4eb4fca603299b18b0","datavalue":{"value":{"entity-type":"item","numeric-id":911263,"id":"Q911263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203120$F32A4CBE-5BCE-4F47-A6B7-F11B58473A0B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a54a937f916dfea2534d3fb592e5c1e6c8e0cf27","datavalue":{"value":"Q130991537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203120$BF2F90C3-5FB6-4087-B7D7-E30BA9839556","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2684368addcf23d710ff784afa2fbcdbdb4d56f8","datavalue":{"value":{"entity-type":"item","numeric-id":5278398,"id":"Q5278398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1da3d9e5c3fe425fa588d4c76aa5694884ae0f9","datavalue":{"value":{"amount":"+0.8170682191848755","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":"Q1203120$6F8D57B2-C604-4D44-B599-E9E432C098AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4559320be0bbb95a78d3edcc195fc1070e26c8d","datavalue":{"value":{"entity-type":"item","numeric-id":2847411,"id":"Q2847411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8144a4e5cf3077e72387375133de57cb5303757a","datavalue":{"value":{"amount":"+0.8118850588798523","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":"Q1203120$3708D4ED-A3D7-4644-BDFB-13E124AAC7C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"257987e34364cf11b26966c06937096e645f0419","datavalue":{"value":{"entity-type":"item","numeric-id":5958326,"id":"Q5958326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6e8d13a14a53ed28ba70b6fc1b79aacb162143b","datavalue":{"value":{"amount":"+0.8042392730712891","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":"Q1203120$DCC277EB-8D86-4AC7-9533-86A9ADDB2EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a891728df5723943b77f7af401f6fac27a3b5b6b","datavalue":{"value":{"entity-type":"item","numeric-id":1975973,"id":"Q1975973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eddebf10e1c44508b08d609ab29f88c6d00ad599","datavalue":{"value":{"amount":"+0.8038976788520813","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":"Q1203120$EDF76165-6DD0-458D-87FC-5D18827A34B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8036dfd13c7b8715719457eb37d589e7c1d1a2f6","datavalue":{"value":{"entity-type":"item","numeric-id":2461535,"id":"Q2461535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53c398260add9e95e322c47578f705c2c685170b","datavalue":{"value":{"amount":"+0.8034902215003967","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":"Q1203120$F2CB8CE9-ABA9-4EDE-BA02-F2968890A66E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deciding bisimilarity is P-complete","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deciding_bisimilarity_is_P-complete"}}}}}