{"entities":{"Q5096095":{"pageid":7125671,"ns":120,"title":"Item:Q5096095","lastrevid":54381416,"modified":"2026-01-26T17:53:05Z","type":"item","id":"Q5096095","labels":{"en":{"language":"en","value":"Exploiting partial knowledge for efficient model analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7571434"}},"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":"Q5096095$E22773E0-0DB7-4CDC-A305-7EEE609CD195","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"426ae2b95029b3cdf1289c81f12c78580a90e299","datavalue":{"value":{"text":"Exploiting Partial Knowledge for Efficient Model Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096095$A7B739D5-F804-4853-A830-63C5644B5C0D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b0e3e17f353a849e9735b8bb501c9e37cab6131","datavalue":{"value":"1495.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096095$02981A79-D731-4801-829E-6526C884ADEB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"99818e8ec34473a90728de1c3d9f0589d3c9fea5","datavalue":{"value":"10.1007/978-3-319-68167-2_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096095$740F8318-0ABA-4FF7-B41B-EB970314F96A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d55201fd9bd6ae88f728ca1f7ef109c171d99d8","datavalue":{"value":{"entity-type":"item","numeric-id":2102938,"id":"Q2102938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096095$62A2964E-0576-4CFE-8361-66A2C6B5AD1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9801f923b605b4a1e8b3b3a4802c712c0b6280f","datavalue":{"value":{"entity-type":"item","numeric-id":532415,"id":"Q532415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096095$1C48F5A6-2D50-44CD-A2B0-C5741E4417A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a05b02239dce8085787a16133547e29961c522c0","datavalue":{"value":{"entity-type":"item","numeric-id":5096094,"id":"Q5096094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096095$356E299E-F460-4408-A8F1-6C6D0B1343FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096095$FF3758F4-A1D8-4ECA-A092-0DF032455789","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7aa7040e0858a957251ee78ad1edc7d13d61d833","datavalue":{"value":{"time":"+2022-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096095$D1689D30-B49D-4E32-A986-6CF66B2463CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bea82d46b1e9615f66ea69c5d3e9c8f71caaa3d0","datavalue":{"value":"http://hdl.handle.net/1822/51433","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096095$ACD4B492-2BF4-42E4-9008-C26054A54489","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096095$FA7CE648-F10B-4DB4-97EC-300C0CA574D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6f2141e53b7ff456268f31d20fec747a9b2511b","datavalue":{"value":"7571434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096095$3CEC6E4B-4501-4709-A1DB-D4164AED1CBB","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":"Q5096095$12C7E2B3-7C1B-478C-8EB3-FB45028B1B14","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1dde0815e3f752aa16205d187be2acfa4abd3821","datavalue":{"value":"W2758147724","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096095$87C0C670-3CDF-471A-8441-973B3BE2664B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81f51cb1e0d45fbf77f55c38b78a16e680cbd51c","datavalue":{"value":{"entity-type":"item","numeric-id":2845503,"id":"Q2845503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9323ff168a061138560d5667ffd81ff5efb5cf2b","datavalue":{"value":{"amount":"+0.6871092915534973","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":"Q5096095$AC85190B-1ADA-46CE-916E-C00DE39D1E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f45bd009a89f811dc912e645897689d07d6c7a15","datavalue":{"value":{"entity-type":"item","numeric-id":5897082,"id":"Q5897082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efef4231db38c407dbf6174c77022792f46c8e2b","datavalue":{"value":{"amount":"+0.6864030361175537","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":"Q5096095$A8FDEEAA-222D-4C1C-996C-DFE6FDA84C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1e453b55fff9aa4dfd4ce23c9986a02d2e13412","datavalue":{"value":{"entity-type":"item","numeric-id":1856172,"id":"Q1856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b4e512dd6dd2c0a88fbc03efe5700ed14a4442a","datavalue":{"value":{"amount":"+0.678453266620636","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":"Q5096095$909994C6-802C-4A79-A4C1-C8D2E29322C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65fc88041f16f9dc16cc8fbfeef56ff32d78e5f1","datavalue":{"value":{"entity-type":"item","numeric-id":5459181,"id":"Q5459181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1784d9719e1ccac010509e641274c2c2ebcf4d34","datavalue":{"value":{"amount":"+0.6772196888923645","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":"Q5096095$86CEBA84-D896-4691-BE05-4789D26AAD54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d58b6f17af7ca36d33c9ab28015ab0db6f6a250d","datavalue":{"value":{"entity-type":"item","numeric-id":5897056,"id":"Q5897056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"121ba2a0158cdb21f39acf7b05b54b22aa6ea284","datavalue":{"value":{"amount":"+0.6752225756645203","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":"Q5096095$EB3030DA-F5BB-4874-A6D9-24A0AEDF070F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5096095","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5096095"}}}}}