{"entities":{"Q924726":{"pageid":926574,"ns":120,"title":"Item:Q924726","lastrevid":50359568,"modified":"2026-01-13T21:39:03Z","type":"item","id":"Q924726","labels":{"en":{"language":"en","value":"Generalizing the Paige-Tarjan algorithm by abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5276415"}},"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":"Q924726$3DF2BC26-10FD-46EE-9A83-B82A3CFECE2A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8114f614d38f5cb5a705063c183957e5cf0f4832","datavalue":{"value":{"text":"Generalizing the Paige-Tarjan algorithm by abstract interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q924726$CF74FA4A-3014-40A7-AAEA-F54AECE3A569","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cfe41be4cc1f6b79638b954c4e887bfbf65bdf2d","datavalue":{"value":"1197.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q924726$D4BFB0C8-E099-4E85-84B2-2E710E07D94A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"210f06773da60a84f3e0c4f4d099d38fa9aee286","datavalue":{"value":{"entity-type":"item","numeric-id":453544,"id":"Q453544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924726$B029D3D4-6C47-4367-B2AF-B6183DD78691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b8ee6d7487469fb10537f323a2ee630480c1ff1","datavalue":{"value":{"entity-type":"item","numeric-id":924725,"id":"Q924725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924726$D16E5C1A-9AC7-4A22-A3C6-B5D72A3482C5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924726$97C13BE8-B2E4-4528-9CF1-3DB41B110FA4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7bef1c16279678ad54ff2c564f5522370b3cfa2","datavalue":{"value":{"time":"+2008-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q924726$9B5D1AA9-B5DB-4E5C-9739-DE31AF9E0070","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q924726$16219CAA-6D8B-4F0D-A2E9-B2D241A0BC82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q924726$A27AD7EC-CE85-4230-9907-7C1F1A55BE87","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bbfad8545570687a6e324720b27f6cbbb4cb06c3","datavalue":{"value":"5276415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q924726$0C9A6255-02EE-4D24-A7F3-88C8BDC470AD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0e230cce435d1f6ec096ebd06862394cba001386","datavalue":{"value":{"entity-type":"item","numeric-id":21789,"id":"Q21789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924726$83421C6A-60E6-4E4C-B802-6167816A5E22","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":"Q924726$D51E7968-FD19-46D4-BE36-27585A25B648","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e51de0ac2fdbf1fd7420aa91130c6e679cca786","datavalue":{"value":"https://doi.org/10.1016/j.ic.2008.01.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q924726$AE1067A2-70C1-4EF9-B221-146B935A9344","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"81a0056a387deb1fcbbd54af21d9d652aaafc75b","datavalue":{"value":"W2050965526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q924726$9D23A773-14CE-4D0F-9C57-AFDB6350D154","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b7fc49cc172128cedc48b48157e5d0ff89c01e8","datavalue":{"value":{"entity-type":"item","numeric-id":1899135,"id":"Q1899135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924726$B5EF33E4-7844-4BA8-B552-2856AD9F81FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21ba3964561c6339cb3ba43543aed014dc7a60d0","datavalue":{"value":{"entity-type":"item","numeric-id":1123183,"id":"Q1123183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924726$EE0FA113-5007-4936-A5E1-8FE1B35B7947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"051e3582c8389d8a9ea6b6cbd1c1508ad73cc707","datavalue":{"value":{"entity-type":"item","numeric-id":5267428,"id":"Q5267428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924726$54D5C898-8FD3-46FA-8F4E-35C12D740220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f06b363f5719862f98dfbbe9bbdce60dd6b1f0","datavalue":{"value":{"entity-type":"item","numeric-id":5178905,"id":"Q5178905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924726$FA5EC37E-7C77-4FAC-9F91-4F7F62F25E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c7f5f3e3d36d2b003d8aa4ba368de341fb20d30","datavalue":{"value":{"entity-type":"item","numeric-id":4884237,"id":"Q4884237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924726$F18EE81E-5B33-4610-A9B3-7BA1227ABA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6635542395ceab89ec0442ca8322133bfddc11d","datavalue":{"value":{"entity-type":"item","numeric-id":4369871,"id":"Q4369871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924726$0DCB2244-1514-490A-96FF-3E7B6C278052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f553acea82991f68f999bd4ad304bedf513f3fe","datavalue":{"value":{"entity-type":"item","numeric-id":1884863,"id":"Q1884863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924726$9F3F74C5-193C-4756-AD2D-DBEC8449EFD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbf2126ec31c7fc7d45c247c9431c6fae536e374","datavalue":{"value":{"entity-type":"item","numeric-id":1431342,"id":"Q1431342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924726$8A5EED61-0636-4B80-AE4F-B9DD7A6FDC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1a428cddd9ec403b8385cb20736e7c02b5a58ca","datavalue":{"value":{"entity-type":"item","numeric-id":4779119,"id":"Q4779119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924726$EE96CD78-1230-4CE7-ABDA-6A30D3A6C701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95c5f143921a59174cd3ed61a5b1aeca1c11f68f","datavalue":{"value":{"entity-type":"item","numeric-id":4572005,"id":"Q4572005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924726$CF51EE80-094A-4DBB-A757-B37827A8E7F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af1934c8bc6d45849a010a815a5562d5978a029","datavalue":{"value":{"entity-type":"item","numeric-id":5385340,"id":"Q5385340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924726$7AAB24AF-CF9C-4163-A3FA-DCBE6FB8B515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924726$CB818DCC-BDD8-4D7E-90BF-BDFBF17559D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924726$C8E9D9F4-02DD-4F57-9E76-6893F82250D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea09c38a326de51eeb6099e20dc7610f5e5b0c71","datavalue":{"value":{"entity-type":"item","numeric-id":4038723,"id":"Q4038723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924726$CAB42514-4E6C-4D91-BBFC-471540215A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17bae47c8ae2499014348c4c48fec975c83fbcd4","datavalue":{"value":{"entity-type":"item","numeric-id":5248997,"id":"Q5248997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924726$349D6F4B-A8A2-4A25-99CD-72E3459D6DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924726$52864379-6BDE-4D54-AC7A-158DBC3F20B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a44720d2fb83a21f8f7f48b86172e34e19841d9","datavalue":{"value":{"entity-type":"item","numeric-id":4252730,"id":"Q4252730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924726$1AEA330A-D871-4E65-9553-4B4D66FC70E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba42f9317a46939291644744f1171a9880a72213","datavalue":{"value":{"entity-type":"item","numeric-id":5277714,"id":"Q5277714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924726$ABF25C8F-F469-4F5D-B83B-E6DE9137489E","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":"Q924726$D8932D79-A0E3-4BD4-A4DE-5815A25D200F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79295103dfc4bddd48b1a13a0dbf4314d0049bf8","datavalue":{"value":{"entity-type":"item","numeric-id":4484513,"id":"Q4484513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924726$6F14BE20-D49E-4724-812A-16CD8DCD9E8A","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":"Q924726$D01D123F-1043-46FA-9E00-36D88EA320A0","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":"Q924726$AAE75277-511D-4C96-8D6D-E4128AFF5241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aecf2a980fcdeef62f12ff3d05105bbf12733a84","datavalue":{"value":{"entity-type":"item","numeric-id":5703755,"id":"Q5703755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924726$F3C0A5C9-FADE-4A00-93A2-54264708118E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c3349d98487c183203fbd7365efbb609bb808e8","datavalue":{"value":{"entity-type":"item","numeric-id":3437262,"id":"Q3437262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924726$7FE0C5E6-1E6E-412D-8706-190BB4C5AF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55219ffb08479eea056d4935e47c830652aeb7c2","datavalue":{"value":{"entity-type":"item","numeric-id":2771063,"id":"Q2771063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924726$52DC1D58-6C7D-4F61-8778-A528C28A3C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924726$701F55C2-EDFE-4EBA-9452-6D3D84210482","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64ef20fd6eb1faa5ce7ee6f4a537f70493e75e66","datavalue":{"value":"10.1016/J.IC.2008.01.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q924726$ED623904-1ED0-4714-B5A8-EB0627FFEB97","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb7914bdc7fe26af3b5a4b9c5b9c02fe117f6b9b","datavalue":{"value":{"entity-type":"item","numeric-id":5703755,"id":"Q5703755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db8e0c147e7e02f61f5e903139add1d7303557c8","datavalue":{"value":{"amount":"+0.9590258598327636","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":"Q924726$88EBE002-0004-4D75-8F16-94C96B35DC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"181b345fff4d2eb34a2f989927fd91232f0e0e17","datavalue":{"value":{"entity-type":"item","numeric-id":3437262,"id":"Q3437262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c439ab56f68f6f2361fc7fa85ddefef5744bfdd2","datavalue":{"value":{"amount":"+0.8155126571655273","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":"Q924726$413D56A5-BC40-4BA6-B0CC-92FD7C63B629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20b165e55b6ca0e44828558da4d5a3a4ef6b1f9e","datavalue":{"value":{"entity-type":"item","numeric-id":1884935,"id":"Q1884935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d5aaccfb1235197eb1893248c04b796c5ad4391","datavalue":{"value":{"amount":"+0.7979238033294678","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":"Q924726$780CAB74-EA70-4183-89E8-1B0D58FD0883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"892394453526a814225f5640ee704f116822b08b","datavalue":{"value":{"entity-type":"item","numeric-id":1049401,"id":"Q1049401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46edf46fe6d32ea49336c52fe37561d4ff070f2f","datavalue":{"value":{"amount":"+0.7868881225585938","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":"Q924726$355380F6-B2BD-41BA-A274-588EF0F8A502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc2f7151fa342070d509b9ab1f5b6debd4904a22","datavalue":{"value":{"entity-type":"item","numeric-id":5308686,"id":"Q5308686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bd7466bab0fb9fcb49f34e7904871a2fc420e26","datavalue":{"value":{"amount":"+0.7864714860916138","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":"Q924726$5331EBB9-D854-4A7F-9DE3-2CC02100B886","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:924726","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:924726"}}}}}