{"entities":{"Q4933307":{"pageid":6962889,"ns":120,"title":"Item:Q4933307","lastrevid":51101759,"modified":"2026-01-16T16:33:34Z","type":"item","id":"Q4933307","labels":{"en":{"language":"en","value":"Lazy abstraction for size-change termination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5798898"}},"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":"Q4933307$209F76E9-6786-4DD5-BABA-1069954BF90E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c04e08f87a23c53c8b0b37e52c72dfd88553a6af","datavalue":{"value":{"text":"Lazy Abstraction for Size-Change Termination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4933307$FBFAB88B-40E3-4A43-9F3D-9AB232B3A0C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5a92e71f76dfb964297efd2053a8bbb703bd030","datavalue":{"value":"1306.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933307$87205697-A415-4593-97A0-4E16D2941E0E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba791eddc30914524a5a79e097abca71f1978ebe","datavalue":{"value":"10.1007/978-3-642-16242-8_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933307$60DE610F-470D-4966-A6D2-A3A3656F0CFE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97931dbd51a6e915b5cab2b02cecf55ce08aab9c","datavalue":{"value":{"entity-type":"item","numeric-id":340572,"id":"Q340572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933307$0943E0BA-EA1E-4B90-B7C1-DB84BAAD6192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5320a359c64bceee0a4053edac274f2ae03f2ee","datavalue":{"value":{"entity-type":"item","numeric-id":438534,"id":"Q438534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933307$871EE2A2-E2C2-414C-8D63-1696C080CA19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"987fb5700652e430e8831c9401c3861ad6aebb91","datavalue":{"value":{"entity-type":"item","numeric-id":199242,"id":"Q199242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933307$62AECD16-BEC8-4AEE-BA5F-5824D5C82DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ee03ce229dce1ad90ba116368ba88145bf746ab","datavalue":{"value":{"entity-type":"item","numeric-id":340574,"id":"Q340574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933307$5A649581-FB45-4EFE-8068-4DEE332D441D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933307$0C3A96FD-5329-422D-9B65-B778EF096E56","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8268186a71ffa78cd296b9bac558860fe9e35f3f","datavalue":{"value":{"time":"+2010-10-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":"Q4933307$B1D7FEF3-E242-4303-B2B3-A5342E1B52AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933307$1893BCAF-B8AB-4AEB-9459-5DE73D79F36A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933307$D2A48935-4066-455F-B851-D397349CBEB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82b63a9499157f3ccbb43f6a5df94fdd056eb29d","datavalue":{"value":"5798898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933307$BD0FCD7F-E0D1-4EFE-82C3-3AD3496E5DEF","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":"Q4933307$68E4224F-E297-4535-8CCA-BFC1F239531B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ef4d523399ff354c84aafa80634950f2cd175bb","datavalue":{"value":"https://doi.org/10.1007/978-3-642-16242-8_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q4933307$66530DD0-0170-4F0E-A1CC-48752551D33D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e5e911255cd4b9ee91158fb907cd85f041508c4","datavalue":{"value":"W1540139181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933307$03A6530D-334E-4C63-BD09-32327A370A75","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7f6a54ce0e809d3fd4a2beee18cb9f192656d57","datavalue":{"value":{"entity-type":"item","numeric-id":5899019,"id":"Q5899019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc37f90a802c550d58547d241956c90c9c702dad","datavalue":{"value":{"amount":"+0.8072014451026917","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":"Q4933307$3FDE0223-A8FC-4F3B-BFDD-36B824586586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a41f0ae6eea19ca2ba3d0099c1396f05f2775ba3","datavalue":{"value":{"entity-type":"item","numeric-id":5458329,"id":"Q5458329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ce3f7830c905ad1a8bb1790f2707ffb4ab347bd","datavalue":{"value":{"amount":"+0.8048883676528931","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":"Q4933307$F953F9FE-28DF-40D3-BE10-E26399753872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2dbc5c1b93109bae4e417753d10865fd36192db","datavalue":{"value":{"entity-type":"item","numeric-id":4447238,"id":"Q4447238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5b18dd2df17224bf6b4d3cf93ce1d9ea7cf821a","datavalue":{"value":{"amount":"+0.7994468212127686","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":"Q4933307$69ACF48D-3C05-4EA1-ABEF-48BA4E8F702F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13a873fc30e825280e01206afa61dba4bb9b0a40","datavalue":{"value":{"entity-type":"item","numeric-id":2573795,"id":"Q2573795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23b38a3dfa71e46b814b1fdba74a202dd1b060da","datavalue":{"value":{"amount":"+0.7978615164756775","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":"Q4933307$C00D9D32-5229-4A6B-8C74-290A43BEC45C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed0d70d8495821b4684202cf593e725fecab94e4","datavalue":{"value":{"entity-type":"item","numeric-id":5178875,"id":"Q5178875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45b0e0cd49388f851de6d763db975cdc10a0e66b","datavalue":{"value":{"amount":"+0.7951931357383728","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":"Q4933307$FF12EBFB-B7F5-42A6-AEE5-63F653982EE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4933307","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4933307"}}}}}