{"entities":{"Q4669654":{"pageid":6699235,"ns":120,"title":"Item:Q4669654","lastrevid":48461314,"modified":"2026-01-04T21:35:39Z","type":"item","id":"Q4669654","labels":{"en":{"language":"en","value":"Ackermann encoding, bisimulations and OBDDs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2157095"}},"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":"Q4669654$A98B3E16-5CEB-4BC2-8292-025C4A655854","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"21d772cd8ad20cdfdaf17d2afa0ef925efed4ec6","datavalue":{"value":{"text":"Ackermann encoding, bisimulations and OBDDs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4669654$FE0081F1-8942-41E7-B118-2145ED4764EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e85ad3be77e1431d552194aea7ad92442593b40","datavalue":{"value":"1088.68130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4669654$B8B0EDF6-ED49-47D5-A509-D79DD71DA507","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"206c01e7f2f68a7504c835f2bcd8620d14ad3606","datavalue":{"value":"10.1017/S1471068404002091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4669654$A3099D4B-E3D9-4877-93B9-AF04F5212915","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2960711d7df6d2be52b6449e5f402fc00a9829dd","datavalue":{"value":{"entity-type":"item","numeric-id":526432,"id":"Q526432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4669654$45DF3AD1-E15C-472C-BF5E-4803BEA46F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f4e12c722f49d808c298b612fc4992a4ed23967","datavalue":{"value":{"entity-type":"item","numeric-id":626877,"id":"Q626877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4669654$976633D4-4AB9-480F-B8EA-7E3441F2D931","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4669654$66A44749-72F2-4387-9587-BC1D13F9C87F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6393262d26b4b605f7bb5c90690073e7109b5486","datavalue":{"value":{"time":"+2005-04-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4669654$AF11AC00-AAB7-4A69-91D3-1A771F1E8D55","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4669654$B789B745-E788-4D33-8BFB-B67F5E620E5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c250d5aaf61a3a8adb501214199286dd79aa2159","datavalue":{"value":"2157095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4669654$FF414EDD-8CA6-42A5-9FEC-F4FE07295119","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6300b37e12168cfc4410999aa707366341347910","datavalue":{"value":"ordered binary decision diagrams.","type":"string"},"datatype":"string"},"type":"statement","id":"Q4669654$53273484-A494-484C-A573-BC0746151B6F","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":"Q4669654$DEAB2C3C-091D-43F9-AB79-6DE4CB174FE3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"86447d82eea07008e9c54f17accc7366744a3a30","datavalue":{"value":"https://doi.org/10.1017/s1471068404002091","type":"string"},"datatype":"url"},"type":"statement","id":"Q4669654$800450B0-2E47-44C3-93E4-984C5A1F0830","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"65080c17aaad445f87777f7c431777cc09e95568","datavalue":{"value":"W2037095133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4669654$6CCA61AA-AE45-43F6-9F06-4CD6CE6FEB26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"045dad01d700e53b6c11d8a2d56376b360ee394d","datavalue":{"value":{"entity-type":"item","numeric-id":317396,"id":"Q317396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e50a90ae57a0c215f15ad10caec2c0644feaa22b","datavalue":{"value":{"amount":"+0.7783458828926086","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":"Q4669654$EFFC6A8D-CDFF-4E6B-B875-54A624CF9067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8242df1814bf9738c3e72c0be674ec6e58c7b440","datavalue":{"value":{"entity-type":"item","numeric-id":1003666,"id":"Q1003666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4a657d84c303c3c8ddb76341c0c7cbecab96ee0","datavalue":{"value":{"amount":"+0.7725638151168823","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":"Q4669654$8E7391B2-5C80-4076-B5DF-E2771EA13404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"591f7016801204401bb17d5b19dcbb280c7728ac","datavalue":{"value":{"entity-type":"item","numeric-id":5897944,"id":"Q5897944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0635f37f3f23c11cc7b6e5e55f00e1e5f8a90bd","datavalue":{"value":{"amount":"+0.7645000219345093","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":"Q4669654$70E416F5-B53C-47F1-9C91-57AB5F110D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9d96257e381e4ae3c2e5d1703fd6a8c1565dadb","datavalue":{"value":{"entity-type":"item","numeric-id":4258578,"id":"Q4258578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b5808d83069f718880584eb6e8a444ab88105b5","datavalue":{"value":{"amount":"+0.7471060156822205","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":"Q4669654$4EE150F2-F2A1-42E2-9A4C-A109A3B589BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"960c67c4b17cce3ce03f41679c47b60ed0bd7ed7","datavalue":{"value":{"entity-type":"item","numeric-id":4699317,"id":"Q4699317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bf79d8ee355ed8ad20a55409adc0b928cc3925c","datavalue":{"value":{"amount":"+0.7467296719551086","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":"Q4669654$A285CBB8-735D-4B6C-B6ED-5B818B2B272A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4669654","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4669654"}}}}}