{"entities":{"Q5060192":{"pageid":7089768,"ns":120,"title":"Item:Q5060192","lastrevid":91240637,"modified":"2026-06-04T22:38:08Z","type":"item","id":"Q5060192","labels":{"en":{"language":"en","value":"Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7639914"}},"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":"Q5060192$CAF216FB-1BEC-4213-9E73-2C9171E02A12","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3af7a046a70cd9d786c4ec0e5d5eefbba0057af2","datavalue":{"value":{"text":"Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5060192$D98F8645-095B-49A1-BEDD-DEC4ACD7153A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efbc9ea8e7764c41b8694e3ba2836a25f47044c4","datavalue":{"value":{"entity-type":"item","numeric-id":328656,"id":"Q328656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060192$B84B7AA1-4A7B-4DBD-9202-82674E005B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"545b80613dc1ee6a751f6b195b3ce274e84dcf7f","datavalue":{"value":{"entity-type":"item","numeric-id":265815,"id":"Q265815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060192$A54CFB6A-F0E9-4568-8943-0A790E86AFEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1eeed33b2287d1ef7af5a3fd00bdb188f793ecc6","datavalue":{"value":{"entity-type":"item","numeric-id":234493,"id":"Q234493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060192$EA3F0B43-90F7-4F7C-B2D6-C21593463842","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060192$FEC8CA38-7A19-4ABE-BF1C-9A17BE0BE733","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"338fb346cc2827bbd9b83792488672b42660d568","datavalue":{"value":{"time":"+2023-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5060192$659778FC-419F-4374-946D-E63C140011D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8aaea7c1a31cdffd2e36d6972d04452b5477c4a8","datavalue":{"value":"https://arxiv.org/abs/2203.11175v3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5060192$BB546398-69C1-49D7-B756-103798A29A25","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5060192$FF6D0539-9FA2-4829-AC10-8EBDBEDF0B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5060192$569C68F4-1B34-4E2C-9CBC-380699B45D14","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dae2eaf0386589cb1be372c83290e53fdd88f795","datavalue":{"value":"7639914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5060192$F4C31202-F3B2-4B3C-923C-C37EA7226DE9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5060192$71822976-E4B3-4EC5-A77F-9DA474B7C419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e8b43431268f67f3d3261502b214dc7d8163ffd","datavalue":{"value":"partition refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5060192$15419246-E13B-43C6-A540-94885B053C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5060192$EAA76002-4532-4A6B-AF42-87396E4F46E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4616285ca44ab67333a53b6b0a4b60b375a5102","datavalue":{"value":"distinguishing formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q5060192$3DF1F827-670B-460F-BB2D-9695A835649C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5060192$29BA1A88-4D35-4C71-99EC-FB772357937B","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":"Q5060192$942213FE-C524-4F99-857D-D65C9DD265B1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"171d7cae9506fda79c71ae51cb41404c2e618de9","datavalue":{"value":"W4309680698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5060192$0B3994EC-F7E6-4627-80E8-A855B70250C2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b81dafd5c8cc8e6d94ebe187b41f4b530841961","datavalue":{"value":{"entity-type":"item","numeric-id":2986780,"id":"Q2986780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060192$2700D818-5CFD-40C8-B0C2-8567D7F36DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eca61a521a091fbdb028c0e1a8fa2de5ae934419","datavalue":{"value":{"entity-type":"item","numeric-id":5267432,"id":"Q5267432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060192$FD5E592B-0A16-4B00-B28F-4183CDD31CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f3cb810fda8385e2773743c2e86927cd4a8040","datavalue":{"value":{"entity-type":"item","numeric-id":5096269,"id":"Q5096269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060192$3486BBC8-4FB0-4748-9098-65A5D85F87A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b204cf2e4aaa1e03cd8494c5455be9abc3c723d9","datavalue":{"value":{"entity-type":"item","numeric-id":2367542,"id":"Q2367542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060192$A423D72C-AD4B-4A6D-BCF4-883BB3506112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5dfca1d99928b5119bc55281b93c5d85661fb2","datavalue":{"value":{"entity-type":"item","numeric-id":2289063,"id":"Q2289063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060192$6DCCA0E1-C2CA-436E-BD1C-AB20C1C2F807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd6fd8319a5cc040666aac91733d227d741d0242","datavalue":{"value":{"entity-type":"item","numeric-id":1731513,"id":"Q1731513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060192$D53A7823-7E92-4F9F-AD6D-CD40D32BA9C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3e876b856b3f5d6ef5102ec15c26c3cf32fa56c","datavalue":{"value":{"entity-type":"item","numeric-id":703518,"id":"Q703518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060192$8CBB678B-C20E-4591-A412-BEB9EC4703FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9a63abf0bfd5b484966c6c972316bb601e1e454","datavalue":{"value":{"entity-type":"item","numeric-id":5137006,"id":"Q5137006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060192$2876EF15-3DC3-4073-BFA7-2E73ACA537ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d63a6f79a14efad928fe8e487c963f37b2a8003","datavalue":{"value":{"entity-type":"item","numeric-id":4037401,"id":"Q4037401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060192$5833063E-5C61-43CA-9F6C-0FA0588385D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"571edc8e49085b972d2fe9c0f3af9e06495ae80d","datavalue":{"value":{"entity-type":"item","numeric-id":5351951,"id":"Q5351951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060192$85CFB5CC-6DD3-4525-9D9D-11547B544200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4ecc51bd5191458077ef85b3a14b1bbbfa2e30","datavalue":{"value":{"entity-type":"item","numeric-id":2506488,"id":"Q2506488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060192$63D2D5B3-7846-4CA7-BF0F-DEAAF0AE06C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03d693d0e6af6572c727807ee0bfcf0f62be78cd","datavalue":{"value":{"entity-type":"item","numeric-id":5111646,"id":"Q5111646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060192$64A0A966-0337-486E-A2BC-B4F074840DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cfc1b3306c4c313e95c082fcdae044d5b47c145","datavalue":{"value":{"entity-type":"item","numeric-id":1798785,"id":"Q1798785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060192$5687891F-C318-4412-91CA-25000DF8BC77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cae0e4423c4aecda28c6c52db40ddffe155f4ec","datavalue":{"value":{"entity-type":"item","numeric-id":2904050,"id":"Q2904050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060192$A7ED947A-5002-47B2-B144-1947DC16E558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"013dacde3206bbf2c2eeab277c23d5af393af190","datavalue":{"value":{"entity-type":"item","numeric-id":360052,"id":"Q360052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060192$23660D01-C952-4BC8-993E-706CA95C1ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89f9a25692012865a764e7bfe7f3b2decb8d9ed7","datavalue":{"value":{"entity-type":"item","numeric-id":5155676,"id":"Q5155676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060192$5FA519AE-4828-43F9-854F-7A2184EF689B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efd8ae02adfedbc0c31ce15b0873e8f177400bb2","datavalue":{"value":{"entity-type":"item","numeric-id":2554307,"id":"Q2554307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060192$EC5A643E-8302-4846-B819-F131083F3574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c3fe4fe60e46216ce5fae043f36e24fe49d426","datavalue":{"value":{"entity-type":"item","numeric-id":4917038,"id":"Q4917038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060192$5496B958-6D47-4D67-B248-2B31CDC3F4BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2803ca579abe915c27350846bb0ef301e46e6070","datavalue":{"value":{"entity-type":"item","numeric-id":2848953,"id":"Q2848953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060192$1C5237AF-89A0-4437-8FC3-98B85C2881A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72aa0a961c18435f164afb4f6b68b2d2e123d3e7","datavalue":{"value":{"entity-type":"item","numeric-id":5492822,"id":"Q5492822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060192$A3E20B48-2013-466E-BD95-616E62495F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be2ce44bdf80df52f5a97dfe72ac01ea51570a9","datavalue":{"value":{"entity-type":"item","numeric-id":4045961,"id":"Q4045961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060192$35E2A911-675D-4AC9-80F4-AD21F70EDAC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ec12bbe412575dad24d14f42016ed59a2668309","datavalue":{"value":{"entity-type":"item","numeric-id":5492825,"id":"Q5492825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060192$5F99B742-2234-48E9-A6FF-716656E17035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7365526063c352f0a716ad29dfda9a2c68ab2b1c","datavalue":{"value":{"entity-type":"item","numeric-id":2229232,"id":"Q2229232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060192$78B7104D-EB75-40FC-8B62-C40D3A597791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882c2117b1cca8f4449951c34fa08f6f7ea2f1ad","datavalue":{"value":{"entity-type":"item","numeric-id":1589443,"id":"Q1589443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060192$7BE3B3F3-1588-4544-AA35-C81A54FF8027","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":"Q5060192$142BC919-2555-485F-AF42-7D16233D557A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060192$16ED333C-66A4-4ADB-B76C-4FFB451230E3","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":"Q5060192$A7266416-3E14-4B64-AF30-AE944C1D8C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31f99c3767f220921bd5141aad82c56e84e6dd18","datavalue":{"value":{"entity-type":"item","numeric-id":2341702,"id":"Q2341702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060192$52EA3558-D815-4D0B-B76A-1A90820FA220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060192$56D5A153-349E-48AE-821E-37557214E3FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a83a0d0759bd552791c47669aaf3c7e2c42801","datavalue":{"value":{"entity-type":"item","numeric-id":1884901,"id":"Q1884901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060192$288FB2D6-073A-4CCE-86A1-868B91ECD992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"564179a3065c43e795b643ec9273069a6cc72505","datavalue":{"value":{"entity-type":"item","numeric-id":558417,"id":"Q558417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060192$4172A95B-B5AF-42FF-B479-BB3D477CA676","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":"Q5060192$EBE132CD-92C7-4B8D-A54A-286A06CC801C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e7eb418764ae243753274c2b93b3d69488191fa","datavalue":{"value":{"entity-type":"item","numeric-id":1960528,"id":"Q1960528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060192$0F9B173D-DD0F-4159-9727-CB3F8FFD60F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060192$0BFA5034-AF21-44D6-965D-4C8D3C90C9E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd2a146bae799e67d19c2792d562d311cc75bcfa","datavalue":{"value":{"entity-type":"item","numeric-id":2474056,"id":"Q2474056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060192$A3917A80-F04A-4DBC-87AE-B8B5C27929E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9959cd8e67cfdb06aaa159914fd6e32623fe777c","datavalue":{"value":{"entity-type":"item","numeric-id":3005988,"id":"Q3005988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060192$F66440F2-D061-4830-8647-BE6CA6D31C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a7f16b45b00354967757a40d4dba93e73628e7c","datavalue":{"value":{"entity-type":"item","numeric-id":5639842,"id":"Q5639842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060192$05F9A589-2087-4A2B-874E-16AAEBCAD3B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24479907e5ff62f7e96f21e3a99db2257659f8ac","datavalue":{"value":{"entity-type":"item","numeric-id":3557064,"id":"Q3557064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060192$15FDC089-969C-4754-997F-717D64B284C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e87d504b012ad717bd662a99ac7a85bb3817577","datavalue":{"value":{"entity-type":"item","numeric-id":4910757,"id":"Q4910757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060192$7B756BDF-83FB-4E6D-AFC4-38266459BBEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5167f6d13ff08ec816ea35ea8ad588769e136f18","datavalue":{"value":{"entity-type":"item","numeric-id":5214815,"id":"Q5214815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060192$6D213E08-3138-4F38-AB56-D7879C2B215B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79b29a6baa3f94f540102370430e771394aad0f9","datavalue":{"value":{"entity-type":"item","numeric-id":1982644,"id":"Q1982644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060192$A903243F-7F1F-4AEC-9445-DD2B102AF201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19888a00e978a5060c8dc9cba8d33b5328382ac8","datavalue":{"value":{"entity-type":"item","numeric-id":6176116,"id":"Q6176116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060192$C819819C-5E5D-451D-B88B-4A61A2C36EC9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ebf7c56b7f6a5c95198d16a1dfd43a4913760fd","datavalue":{"value":"10.46298/LMCS-18(4:6)2022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5060192$9BFA1DC2-56DF-4F41-8173-77DCCC775A6B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2813b4c5fc3ace4ec2d0fbb620a1425ffa8ce9ed","datavalue":{"value":{"entity-type":"item","numeric-id":5111646,"id":"Q5111646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a33efe525be0fd87aca3f73ffcf16df3eb2ed76b","datavalue":{"value":{"amount":"+0.8365763425827026","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":"Q5060192$E82BE334-94C2-4596-9285-876EFA2C84FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b0a45b629c139e42444477e20c7db064577f466","datavalue":{"value":{"entity-type":"item","numeric-id":5214815,"id":"Q5214815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ffa2b60d21a205927a12c4fb06ba4f54cf94dcf","datavalue":{"value":{"amount":"+0.8350931406021118","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":"Q5060192$947BA2D0-613A-47C2-A96E-4AD24CDECB87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9afc1be59f9fc9a1987294efbba3a8bdb3c229b","datavalue":{"value":{"entity-type":"item","numeric-id":3190170,"id":"Q3190170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f2cb58b96158c549e9c6b09eacdc379d8f19dd3","datavalue":{"value":{"amount":"+0.7801730632781982","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":"Q5060192$1F8572CF-775B-4204-91E1-158C9C32B07C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e92877bbf3d8740ac1b7968ef9fa682a1f55173","datavalue":{"value":{"entity-type":"item","numeric-id":1797781,"id":"Q1797781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e949f92373fcca6a6525ffe93f182e2ad67f9a67","datavalue":{"value":{"amount":"+0.7448214292526245","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":"Q5060192$0C05CE66-E409-4B27-AC78-0E6CFDF4C12C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39319074d79b9322fbba76164dd2d3034ae684f2","datavalue":{"value":{"entity-type":"item","numeric-id":2229232,"id":"Q2229232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0071ddc8fa4de730eba4f543a8d73f3bf655c445","datavalue":{"value":{"amount":"+0.742837131023407","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":"Q5060192$079F502D-C3EC-48F7-A677-7290FBDE9D8E","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5060192$F8322487-9285-413C-9351-8E770448AF58","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence","badges":[]}}}}}