{"entities":{"Q3962460":{"pageid":5992365,"ns":120,"title":"Item:Q3962460","lastrevid":55109983,"modified":"2026-02-03T18:44:31Z","type":"item","id":"Q3962460","labels":{"en":{"language":"en","value":"Probabilistic Algorithms for Deciding Equivalence of Straight-Line Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3784256"}},"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":"Q3962460$C3890B0D-546B-4DC2-BE71-5EA3A2AD791A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9bc41cefbe37bcff2fe74e7b4e78e5d1e1e18cb0","datavalue":{"value":{"text":"Probabilistic Algorithms for Deciding Equivalence of Straight-Line Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3962460$6F8C9AB5-9E71-434C-AA60-77A8565A6C74","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9429b46539de7c745c8a6388d4e285a4a3df9309","datavalue":{"value":"0497.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3962460$8A45D8BF-A45C-498F-A1AF-3D8B2D66090A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"691c99b52dd9c1043291f1e35a107e9d989705f6","datavalue":{"value":"10.1145/322358.322373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3962460$804437C7-759B-4E7A-8A38-9C667354DF47","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0ccf6eb6c37793d5bd821ffa019f577d6c7be3b","datavalue":{"value":{"entity-type":"item","numeric-id":243823,"id":"Q243823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3962460$4F3260C4-5C01-496A-A8B2-AD7CED78C7D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3bd4342967813d6c73138a0b6a4a791b0a8c6593","datavalue":{"value":{"entity-type":"item","numeric-id":287984,"id":"Q287984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3962460$4BD10EEA-C620-49EF-8A01-E94910AD08DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3962460$B113088D-0596-47F8-86C5-6CF60D0C0C6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3962460$333B29E3-BB9F-44F4-8EC2-6A63ECE6E666","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3962460$A00EA57D-EE4B-49EB-B8DE-917D1EC25510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3962460$CE9BA97B-1E64-4028-8C90-0755680F1287","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0db1d23b394c360d575a91ccaf5f163a41a45732","datavalue":{"value":"3784256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3962460$87C95682-C42E-4D5F-9776-88CBDEF402D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e41380606bb0979a3a4139061318e181c51c878","datavalue":{"value":"total programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3962460$E31A98EA-71F0-4420-B46C-7CC630957FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4fe669dcdc51f641569a12ef99ce4d0ef4a8d01","datavalue":{"value":"infinite field","type":"string"},"datatype":"string"},"type":"statement","id":"Q3962460$990CD1ED-B0E7-4816-811D-ED2B608B0192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3513333616c48293661f2a3cbbbae9d38218a6a","datavalue":{"value":"infinite integral domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q3962460$4EBCED75-4EB2-4318-9FCE-851E52C17D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3711b386902559bb22bf67091b7eca92012716a","datavalue":{"value":"finite field","type":"string"},"datatype":"string"},"type":"statement","id":"Q3962460$2BF64314-4332-4160-AF00-7C0057D70809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc449ad763a3421c1d32b36a478e40e7d6b50d29","datavalue":{"value":"probabilistically decidable","type":"string"},"datatype":"string"},"type":"statement","id":"Q3962460$5AE6BFA0-30AF-4738-BFA1-6D8368ECAFDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f12ea105addea4e52f9511695748975bd61a49c","datavalue":{"value":"NP-hard","type":"string"},"datatype":"string"},"type":"statement","id":"Q3962460$F410F8C3-A633-4BDC-92DD-58ECDA30F724","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":"Q3962460$2E1DAF68-BBBC-4463-BCBF-3082D50D51FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e05c97a34e0a1dcfd76197e86e52d8d5efe947fe","datavalue":{"value":"https://doi.org/10.1145/322358.322373","type":"string"},"datatype":"url"},"type":"statement","id":"Q3962460$FA81C545-4F37-40E7-92CD-E5F5D8F7BD13","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"49427de763457e9e802508a6b17cce3a4ec61c04","datavalue":{"value":"W2011758726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3962460$71E41A07-A482-4310-9354-72CD590F011F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3962460","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3962460"}}}}}