{"entities":{"Q1575907":{"pageid":1586647,"ns":120,"title":"Item:Q1575907","lastrevid":67938672,"modified":"2026-04-12T20:21:25Z","type":"item","id":"Q1575907","labels":{"en":{"language":"en","value":"Complete formal systems for equivalence problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1495190"}},"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":"Q1575907$019B650A-76E7-4839-A947-0F3FA6EC678A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e12e83e21acc413cc6e63f53b8651eb83866062","datavalue":{"value":{"text":"Complete formal systems for equivalence problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1575907$717D8C5D-BFC3-4786-8D5B-40F33624E3E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a29a11b4948fc80b93a606934afef531fed0d4e6","datavalue":{"value":"0951.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575907$C77C91C0-4ECC-4FA6-874C-5E94347F6D79","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c91f7e328538d5489fc5f3e87f5cd1cac61921e9","datavalue":{"value":"10.1016/S0304-3975(99)00106-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575907$D77B56C8-9453-45E3-8675-E1A37B6E8F1C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"061d8197654a9b01d601db450e9eb848677c111a","datavalue":{"value":{"entity-type":"item","numeric-id":580991,"id":"Q580991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575907$68A8F18F-7D57-4314-AD03-9A431F2BEC1D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575907$17646B36-8D25-46D4-A184-457AF0F9E4D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b75bb4814c2bf285f873da0d0a308eb99ddd7a4c","datavalue":{"value":{"time":"+2000-08-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":"Q1575907$0AF3E3C0-F4DD-4400-9D27-72B5CA5876E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575907$D4411264-173D-49E9-89D7-698F5407B2E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575907$F9769195-77FA-4927-B2AF-D7F69B282D96","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"635df189ab2866d61e4ecea37d8226cde2a48e94","datavalue":{"value":"1495190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575907$DECAAAF9-F748-4EF2-83E4-410D4D2DF14E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79357909a78baf44e3cff111a72e55c144928c06","datavalue":{"value":"formal systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575907$38DD6571-4FFD-4B70-9D65-7DBD30D62F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ef5786d28052f9ce03565247eadfd30f0feec6e","datavalue":{"value":"language equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575907$6773409D-BC67-401B-974D-4BFEE91EE597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3c924f356cbb5347bdf86b2d80a09e159df93e7","datavalue":{"value":"bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575907$4D700FF6-0879-4370-9B7A-71AA0366978C","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":"Q1575907$63CBACE0-27D3-4F55-9785-B2A660FFD630","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b1da0e27d5f8bb65f09ecd182a99c5a37a75a9d","datavalue":{"value":{"entity-type":"item","numeric-id":4385528,"id":"Q4385528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575907$827C134A-184E-4C76-8183-98AED519D993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e95dab920df6bb4688d107a498b005a8577eead2","datavalue":{"value":{"entity-type":"item","numeric-id":3774929,"id":"Q3774929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575907$0D3F9A44-5374-4324-ADC3-8AE60030A457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3913a579b628d4f8deae9c770eb511538508ca80","datavalue":{"value":{"entity-type":"item","numeric-id":3994777,"id":"Q3994777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575907$85A85605-BB6B-4974-B873-EBF720754667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd7d8dfdbd5344be1a0988298f2b9916142571c3","datavalue":{"value":{"entity-type":"item","numeric-id":5286053,"id":"Q5286053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575907$806AEF9E-FC11-4930-BF75-D6746FD0F9DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a60852ae7282fd028da50ffa220546408dea9e96","datavalue":{"value":{"entity-type":"item","numeric-id":4772720,"id":"Q4772720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575907$51AC0C7C-BA02-4B0D-80BC-A26AEF713552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be27978c3a4bb100378019f7b702eaca9386491e","datavalue":{"value":{"entity-type":"item","numeric-id":3703289,"id":"Q3703289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575907$A885C466-F3B1-4443-B334-3F7E7E0B7804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d719f40752771a9d8d2f11629b456057b0e183ad","datavalue":{"value":{"entity-type":"item","numeric-id":1089810,"id":"Q1089810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575907$21967F13-D8D6-4EE0-AB23-411FC644C9AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af7139c65837eb8115c64cb4d4e1bbefc86dded","datavalue":{"value":{"entity-type":"item","numeric-id":4198075,"id":"Q4198075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575907$B06CA460-FB47-44D8-BD35-CA9202FAC112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"233d64506c1bbc043413c13cd64bb09b3ed4f887","datavalue":{"value":{"entity-type":"item","numeric-id":1259173,"id":"Q1259173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575907$1563330F-CF2A-46FE-9F3B-9EFBFE7D5D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61e9da128cf0bc00b4afad4ad9c84331a4d798a9","datavalue":{"value":{"entity-type":"item","numeric-id":1351456,"id":"Q1351456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575907$CC161857-17BD-4E24-9565-22324BF4C77F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"064545232051c0e57ec5ce97344ecf9032ecb2ff","datavalue":{"value":{"entity-type":"item","numeric-id":4571985,"id":"Q4571985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575907$DA1B440E-29DA-4E09-AC55-235F7369C781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d535912eaf84a43e264ab14b808110d8145dd0d","datavalue":{"value":{"entity-type":"item","numeric-id":4134981,"id":"Q4134981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575907$3F31D106-C6FD-45F6-8EB0-A72A929C2219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1acef2bb7234229e12ad1655b63ec3750a2403ff","datavalue":{"value":{"entity-type":"item","numeric-id":4007337,"id":"Q4007337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575907$71FF553F-4067-4147-A059-24F97D97ED17","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":"Q1575907$765EB7EE-31F5-4EFF-B453-A889788512F3","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":"Q1575907$CBBBCFC5-B50F-42AA-9854-B19B41827FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f738da761537d671b2ca3e58f0690c82693f32c","datavalue":{"value":{"entity-type":"item","numeric-id":4571996,"id":"Q4571996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575907$4E508970-5D38-45CD-BBB2-163FE19321AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b03df91b5952347b150cdc6dacb82f19c3d9d48","datavalue":{"value":{"entity-type":"item","numeric-id":4218106,"id":"Q4218106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575907$9F7DFC7C-C563-4C07-A56B-7BDB797071A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"992a02680890a7bbdb6adf5c6cb1f2666e6be290","datavalue":{"value":{"entity-type":"item","numeric-id":6104375,"id":"Q6104375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575907$5E322FC3-DE98-40CB-871D-C033D54427A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1816be36666b42130bcf2161dff3d3eb65c21976","datavalue":{"value":{"entity-type":"item","numeric-id":3776663,"id":"Q3776663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575907$5217B673-9DB2-42DE-865E-09E3764ED7BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07dadb8229a6ff848151aea6fe96c9b1342e5f79","datavalue":{"value":{"entity-type":"item","numeric-id":1589483,"id":"Q1589483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c3f89c62a77c69248b7f7ebc661636b7fa71935","datavalue":{"value":{"amount":"+0.8568886518478394","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":"Q1575907$9F164C47-B5D8-4929-A812-C153F2B90B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a95bc295fcef02f705161575a8024d5afc16433","datavalue":{"value":{"entity-type":"item","numeric-id":4571996,"id":"Q4571996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"379655b352f99ad3121fd4cc6c5af157165fde8c","datavalue":{"value":{"amount":"+0.8431224226951599","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":"Q1575907$BDB4244C-C8DF-4267-9455-757C1367D5D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d29db322ea3ebd69595ba00f8c0789e1ec3a0ac0","datavalue":{"value":{"entity-type":"item","numeric-id":4223071,"id":"Q4223071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9203b174cc7e5b32cd48614c66970462c74f001","datavalue":{"value":{"amount":"+0.8232492208480835","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":"Q1575907$5761684E-7C09-4A0E-B7B4-C805B3B8DD09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b58d2bf5593372d4201064a516c4e726cbbe6c4c","datavalue":{"value":{"entity-type":"item","numeric-id":1816326,"id":"Q1816326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fe4f010d4cd6f58f9441e442184edb8dc2b4a2e","datavalue":{"value":{"amount":"+0.8131312131881714","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":"Q1575907$055A5337-ED8C-4542-A99E-7AE4FD9EB273","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complete formal systems for equivalence problems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complete_formal_systems_for_equivalence_problems"}}}}}