{"entities":{"Q4885894":{"pageid":6915473,"ns":120,"title":"Item:Q4885894","lastrevid":46395738,"modified":"2025-12-24T17:05:40Z","type":"item","id":"Q4885894","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 910732"}},"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":"Q4885894$0624493A-18A6-42C3-A98A-D5089E1DE397","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b96030ef6407eaeea96fb7e80ac12b685ed243c","datavalue":{"value":"0849.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4885894$7DBAC9DB-0274-4801-A6F0-36AC43C7B641","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"33dbe9b670c4f12b90eb9eee6d7dd4b488f476aa","datavalue":{"value":{"entity-type":"item","numeric-id":672253,"id":"Q672253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4885894$356E30F4-C111-4180-A0E5-D3E88F8C51C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f86607def1667149e7035bcd0d20d2a8ce12035","datavalue":{"value":{"entity-type":"item","numeric-id":4885893,"id":"Q4885893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4885894$612499D3-4475-4998-9417-2033DEEA2CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8557fccb2ce533d97ebf9c091249964e10d21dae","datavalue":{"value":{"entity-type":"item","numeric-id":294812,"id":"Q294812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4885894$1B875B35-DB31-4731-9AB7-ACDEB4D733FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0db1c1d4758cc84ba91e5181bfa794ba378ebc68","datavalue":{"value":{"entity-type":"item","numeric-id":402124,"id":"Q402124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4885894$E4352B69-896B-4BBB-95DD-0AEFA62D5EBE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a8d1237d32ec5eadec6067ce7ffbf57e42f0929","datavalue":{"value":{"time":"+1996-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4885894$C726325E-C5F1-48BB-A2CA-0CB744AEAF23","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4885894$54BCE032-9286-4018-B1DE-187CDAC4016A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4885894$A60ECF8C-365F-40FE-B070-11EEB821B948","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"deb525f38e2c40e8be63bcd5290b74d569fb1f60","datavalue":{"value":"910732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4885894$C92EF166-FEF4-43E7-8402-6813876F823D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ad3b416cd21861c14c0aa3d5a43ce23b594ba5f","datavalue":{"value":"ordered functional decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q4885894$DD6B8AC2-39EA-48E4-A9D0-989920D99F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4885894$EDF12FEB-8E97-4E34-92A9-6D162C3B2E97","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":"Q4885894$603FF7CE-FEC6-49D1-9991-8140D82463AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f38647e215ffa0eb6960a2c3a6a4765d300310fa","datavalue":{"value":{"entity-type":"item","numeric-id":4885895,"id":"Q4885895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"956f47b6a6f28200a390f6e7c6e21077d93a2e82","datavalue":{"value":{"amount":"+0.8534448742866516","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":"Q4885894$857D92EF-B0F3-4F25-A198-2CE022CF43BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d5c34b12710dae78b8432f584bc9c18c5b0a8e0","datavalue":{"value":{"entity-type":"item","numeric-id":4645202,"id":"Q4645202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"656349cbde4e82d3ffb4567b9827a36662ce59e2","datavalue":{"value":{"amount":"+0.7942162752151489","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":"Q4885894$3E25C7FF-C555-4C87-A152-2B4D01D4F993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b1dca324120ddb9e7c2aafc7ee4afa691ffaf39","datavalue":{"value":{"entity-type":"item","numeric-id":1908345,"id":"Q1908345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dbf36fa01b453b7e35d94c7bb8f7900b68a17d8","datavalue":{"value":{"amount":"+0.7826869487762451","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":"Q4885894$A90F7FEC-769C-4B1A-87E4-E35613448152","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4885894","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4885894"}}}}}