{"entities":{"Q2914741":{"pageid":2925461,"ns":120,"title":"Item:Q2914741","lastrevid":51558113,"modified":"2026-01-18T18:56:30Z","type":"item","id":"Q2914741","labels":{"en":{"language":"en","value":"Applying data refinement for monadic programs to Hopcroft's algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6084488"}},"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":"Q2914741$C04226EE-72C3-47A9-8873-749A90123E29","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f74707b4a8babb75d900716b04dc7c3faeca4b4","datavalue":{"value":{"text":"Applying Data Refinement for Monadic Programs to Hopcroft\u2019s Algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2914741$65907002-0A94-47D2-A114-A7361593DA9E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86426d379931e15623cf89d88982a51c2831632d","datavalue":{"value":"1360.68757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914741$C1DA62C0-1482-46C9-869A-9A6ACCDF84BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cfedc4287a85fc0f4eb13730513bc7b3336d1f3d","datavalue":{"value":"10.1007/978-3-642-32347-8_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914741$BA52EF16-F852-43C4-A318-A51276BB354C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8e4be225a6094490d6530fbb2f56929f5bbbcf0","datavalue":{"value":{"entity-type":"item","numeric-id":682349,"id":"Q682349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914741$2361359D-B927-4248-BD6C-379494865BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bcd478264cc6aa5b8383a7d2ac9f31313184807","datavalue":{"value":{"entity-type":"item","numeric-id":2914740,"id":"Q2914740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914741$758659B3-D329-47CC-A6AD-E783C0C3B61F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914741$B0226F7F-C657-4CFA-B674-D319BA44647F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e7cab8cb58b1ff0209167a4d2783976232f08c4","datavalue":{"value":{"time":"+2012-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2914741$87577C0E-83C5-433C-BCC8-55ADF3CCB478","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914741$65150736-A9EF-4625-8E4C-9570D950DC7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914741$34E1A592-494B-4A46-88E5-1017AC4A6FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914741$A9AAA115-9965-4754-BAC7-CA4E7CBEA234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914741$822398A9-1074-4885-A167-1300ECC33D11","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1c6dcda30b519044d3b1d3ba4c4aa5f688c6d22","datavalue":{"value":"6084488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914741$7D06570D-9D16-4D20-BA46-2FF1BBA025CE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a702409075e50310c4740b6b68ff6f044d831b5d","datavalue":{"value":{"entity-type":"item","numeric-id":40324,"id":"Q40324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914741$723D4629-0816-400C-A2C7-79D58E813AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"99e87bd3628666ae4ab034c6ef4dffb80dd2f85a","datavalue":{"value":{"entity-type":"item","numeric-id":13712,"id":"Q13712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914741$7C86D10C-6636-41BF-A160-21A0EBC66D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"854b234eb9a95f8c5e737feeb323e817bee5cabc","datavalue":{"value":{"entity-type":"item","numeric-id":19233,"id":"Q19233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914741$EDCDED86-04EB-45D4-A395-EE03D023DC71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"34f0f79aa107cbc6ad0d7ba37e15dc62b257b979","datavalue":{"value":{"entity-type":"item","numeric-id":40549,"id":"Q40549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914741$29A5F8EF-38F8-4F4A-8208-8953B4ECDA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914741$36547D73-BC74-45E1-B624-919EDA4ACAFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e81c5c7614695745e4071f06e8ed8dc97b688447","datavalue":{"value":{"entity-type":"item","numeric-id":40950,"id":"Q40950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914741$195E65FC-5817-4DA8-9CEF-67538014D5B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914741$5242C6FD-6124-48EB-A1A9-EB30EFE99814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8af18ec42272cb01b899d6c39971dfaa386bdaf8","datavalue":{"value":{"entity-type":"item","numeric-id":22296,"id":"Q22296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914741$EC242E87-CD76-46F5-9D72-01985C0D0E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1fd617a2522cac09ac87ab26f018427f3e337d94","datavalue":{"value":{"entity-type":"item","numeric-id":22297,"id":"Q22297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914741$88458006-81DD-492D-9B1B-081F7452B479","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":"Q2914741$B5F4093F-41AE-4C73-A75A-1D5C02AFAE90","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f62548a4d46a88f6643386b2a045f9c39e908ef0","datavalue":{"value":"https://doi.org/10.1007/978-3-642-32347-8_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q2914741$DF66D472-9F0F-4C87-BA5B-C86BB3BC6073","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"12efd9dfb6fe737d81dfdf3a19e994d962343e9f","datavalue":{"value":"W77329694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914741$58AD636D-8FA3-4BCB-B725-C7D463414F72","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"945512cd015e02b0cb42f8b2229b6e8d43e324bd","datavalue":{"value":{"entity-type":"item","numeric-id":5327338,"id":"Q5327338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bafa87b7ea6832c7a9ada8683bc376a647227862","datavalue":{"value":{"amount":"+0.8055854439735413","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":"Q2914741$BA953C7A-3733-4C78-ACDA-54274BA6F231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f06ce394d56681f16987829d5518799d1c8091e1","datavalue":{"value":{"entity-type":"item","numeric-id":1739909,"id":"Q1739909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26369d37c23eb0f2088206b7e0156fa32a27c6af","datavalue":{"value":{"amount":"+0.7933972477912903","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":"Q2914741$26A9B545-DEBA-4603-A2F9-8DF9E40C2F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"959be19baa4476667a8bf253e7c26f9c31eafdc1","datavalue":{"value":{"entity-type":"item","numeric-id":2945637,"id":"Q2945637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a8a35177b479dcc5276572eabff0b2735c1ee66","datavalue":{"value":{"amount":"+0.7890363931655884","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":"Q2914741$8BC5AE14-91D5-45D7-B5FC-9F91EB0AE83B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"805759e12df01396966f318736496b4454741829","datavalue":{"value":{"entity-type":"item","numeric-id":2417948,"id":"Q2417948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf34a5996c1e9f6c775e9fa222bb6c52e2d21c4b","datavalue":{"value":{"amount":"+0.7806220054626465","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":"Q2914741$A2B2A810-73E3-4019-B790-2A733C8C0F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c977d5da30781aedab959d3b8317c7b9eca99d9","datavalue":{"value":{"entity-type":"item","numeric-id":5327339,"id":"Q5327339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4917c337872299d5ee7bf1d29c06d6b22768a32","datavalue":{"value":{"amount":"+0.7805875539779663","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":"Q2914741$1DB5DD54-26DE-4776-8553-99D00FB5D5D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2914741","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2914741"}}}}}