{"entities":{"Q1768474":{"pageid":1779216,"ns":120,"title":"Item:Q1768474","lastrevid":48438034,"modified":"2026-01-04T19:46:04Z","type":"item","id":"Q1768474","labels":{"en":{"language":"en","value":"Program adaptation via output-constraint specialization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2145978"}},"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":"Q1768474$19B7EC25-31AF-4D2C-962E-F26D1D96DBA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a053c660adf421d937969bcac6d814d241ace6b","datavalue":{"value":{"text":"Program adaptation via output-constraint specialization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1768474$453B464F-B76E-469E-9CD6-CAB2F1F8C504","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"493ade4050dee80603576ad66fdcae642bfa33da","datavalue":{"value":"1075.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1768474$96592EA0-C9CD-4E79-9F39-A99EC95002C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3ee23cd67d40d34f50126c9eae32be36f4578c5","datavalue":{"value":{"entity-type":"item","numeric-id":238509,"id":"Q238509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1768474$1BB0A834-69F5-40B6-A1A9-BAC6857ECEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f8ee9d816aaaa15805d43096a38ad8cec85068c","datavalue":{"value":{"entity-type":"item","numeric-id":635074,"id":"Q635074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1768474$D7E9D06C-AC1F-4BE3-A757-61C30976D0F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64a3a07e604cd8e480c16efc452d3568f025ae86","datavalue":{"value":{"entity-type":"item","numeric-id":162338,"id":"Q162338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1768474$9DA4AC40-AE88-439E-9F33-FF5CB508EDDA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc89be88a6076185afd90ab376d26e11d51f0fa9","datavalue":{"value":{"time":"+2005-03-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":"Q1768474$4E8BF562-90F8-4550-9BEA-64D4766FFD8B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1768474$64B2D843-5BEA-4737-AE61-05449EFD60A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5a73763a4dbe800f87495c9d4db74d26ae498fa","datavalue":{"value":"2145978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1768474$7DBA0053-3C50-4404-85EC-E1368FFA7720","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc31ada3e3f12a74e618e5c1565ffae33b3f6f70","datavalue":{"value":"partial evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1768474$9039AFDA-EAB1-4FA8-B774-E0152A1449BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9252962dd2f740798a2987384a8486b5fe7f7923","datavalue":{"value":"specialization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1768474$9CDF70FF-4634-470E-8279-45C3DB0BE2C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a54cfe9f36162c4cda4fc1515c05310e8269220","datavalue":{"value":"weakest pre-condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1768474$074FF119-544F-4E1F-8F4E-829B0BD0B6E8","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":"Q1768474$E980294D-712E-41A5-8B84-D9F9DA61228D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"23be546ab3250d2be588bccb59f4c97452b5c76b","datavalue":{"value":"10.1023/B:LISP.0000029449.57959.BD","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1768474$6C9C5487-7176-4B3E-B680-850426906310","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d30a559da942c4d6491bb3eda2673168f1d1334","datavalue":{"value":{"entity-type":"item","numeric-id":5464042,"id":"Q5464042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aca43499f7c43b682cec9dcbbfe80181d2a9b50","datavalue":{"value":{"amount":"+0.7408182621002197","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":"Q1768474$394C8414-00CD-41E2-B357-06E1B9870B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b73e02ea39444f31a0f01a1226926984bdfcf9d9","datavalue":{"value":{"entity-type":"item","numeric-id":2495553,"id":"Q2495553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"901513e9036045a6b3f5ac7a6f5a0e6249ffbbf6","datavalue":{"value":{"amount":"+0.7057808041572571","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":"Q1768474$E218E6D2-46EA-4D81-AC5A-AEFFC64DA914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcda194e281e4c9624248055ffffc54aa4874982","datavalue":{"value":{"entity-type":"item","numeric-id":3046793,"id":"Q3046793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c60fcec1c26c40a23ce2b2ce4063609c36e7e0d8","datavalue":{"value":{"amount":"+0.6976874470710754","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":"Q1768474$333E58F1-30DA-4EE7-AA31-25D04F0CFCE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce9aab4527fb609380b819cca32f586f669bc7c0","datavalue":{"value":{"entity-type":"item","numeric-id":4472532,"id":"Q4472532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ef2f8d747536214527fbcfa487bc5a2fd42f4fd","datavalue":{"value":{"amount":"+0.6892760396003723","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":"Q1768474$2FC93552-8F45-47A5-BEE2-1766F0AE6924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fed5abf7fbedd3ed7e58f26ff238cf7ba59a58f","datavalue":{"value":{"entity-type":"item","numeric-id":2432760,"id":"Q2432760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"500b81e81673c17e0ec3c6fa3d7a690f387d3c9a","datavalue":{"value":{"amount":"+0.6837629675865173","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":"Q1768474$10348601-2A41-4F98-A5DF-EEEAC96C9E02","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1768474","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1768474"}}}}}