{"entities":{"Q3392924":{"pageid":3403627,"ns":120,"title":"Item:Q3392924","lastrevid":50747663,"modified":"2026-01-15T00:46:47Z","type":"item","id":"Q3392924","labels":{"en":{"language":"en","value":"Abstract Interpretation of FIFO Replacement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5596302"}},"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":"Q3392924$A6076E36-F894-4C75-B3A4-C4E60FA0783E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e5a6f7a8ce1ea3f320de4102ea4cb76c30c3f32","datavalue":{"value":{"text":"Abstract Interpretation of FIFO Replacement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3392924$25CC83C4-1ECA-4C69-8024-8C030DE04E62","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c401bbbc5e8ff9e65675c10c77b4f3d848096003","datavalue":{"value":"1248.68144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3392924$209ED12F-5AC7-4AC4-A259-E94EA286A81D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f720d98929dfb753bb6b4f2557097b277dbf33a0","datavalue":{"value":"10.1007/978-3-642-03237-0_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3392924$8BA824BA-43CB-4A48-A003-3414B628F87C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"53d553a96bbb72c49e22fcea231e122c6b0b73cc","datavalue":{"value":{"entity-type":"item","numeric-id":2460196,"id":"Q2460196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392924$704DCA94-B517-4C9C-957A-DEF29E19BE17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d30a6fed3317e8074a396d3ddb5b6af6bd795278","datavalue":{"value":{"entity-type":"item","numeric-id":777058,"id":"Q777058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392924$0E5BE047-B942-471E-B9B6-E15771ECA54C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392924$7E76AD39-EB1A-46BD-B7B8-F40AC05DF71C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1de6d3019de58c3b1284b728a467f4e3921f5e94","datavalue":{"value":{"time":"+2009-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3392924$98F8B6AC-F2FD-4614-A818-ACD4A45C5D86","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3392924$C1686FE2-A82A-4DDC-A3E8-8BA9F5C75B77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41d498dc89c588dd60e59c19f337a43701cf63bf","datavalue":{"value":"5596302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3392924$A6B73DEE-1239-43FF-87BA-2193C5F6FE42","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e0230959d6200f2fb65a13f01aad8fae37f5d71","datavalue":{"value":"cache analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3392924$7E6B4696-611A-4306-8983-32D32B73AA26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3717b7941a3e21a9b082538083f4a50c756d92d","datavalue":{"value":"FIFO replacement","type":"string"},"datatype":"string"},"type":"statement","id":"Q3392924$9496D7FD-9022-4A99-A54A-EAFB0920CE06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d84592be4a57dc8eee3e4e127a947cefc592bde","datavalue":{"value":"domain cooperation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3392924$1FE71750-E8E2-4964-90D9-829C7D58DB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba47780486079086d0a1d127a2ecfc1fac1c4284","datavalue":{"value":"may/must reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3392924$EBA9FC08-4B86-42C0-847F-D658DA4824EA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87d0dabd427ef3088ce56ee746e4becf90f6b0c5","datavalue":{"value":{"entity-type":"item","numeric-id":25618,"id":"Q25618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392924$DEFD62C2-D653-4BD5-B350-A50D080A84F4","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":"Q3392924$8B221414-4F9D-481C-BA65-AD8D55839BB9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"13c1890b340765a0ec9675d1399177bad637cefd","datavalue":{"value":"https://doi.org/10.1007/978-3-642-03237-0_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q3392924$9F1495D1-D37D-49B3-B53C-6FF9B713006D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c4fb5db5ce64bbe5a20e219efe6775abdacb4f19","datavalue":{"value":"W2157698826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3392924$38BCAFC7-F568-4371-9E7D-F1092781DF29","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed2dfbd3f4f504ab8f785cea6f8808b5db160ce1","datavalue":{"value":{"entity-type":"item","numeric-id":1818075,"id":"Q1818075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392924$C94D5B0A-288B-41EC-8D63-9FA2FB752A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a253f7dab24453d81d706b7a4dd23f1eddcfc404","datavalue":{"value":{"entity-type":"item","numeric-id":2460197,"id":"Q2460197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392924$F6638B49-8182-4B33-BC7E-498AE45CDE2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96f655229112139d7fd3a3f2e651772d7890a7eb","datavalue":{"value":{"entity-type":"item","numeric-id":3452259,"id":"Q3452259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392924$6E3563CE-E49A-44D6-90CF-E86F3C9C96DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a05f05f61b46a8fd8bda9fb47a75f81f498f2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3657436,"id":"Q3657436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392924$E0AA3B62-E986-4264-AF85-2E764FEC5671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca1f7c77caeeaf6f88e52136397f517769aac8c9","datavalue":{"value":{"entity-type":"item","numeric-id":1960526,"id":"Q1960526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3392924$E429FF6E-537B-460E-9BAF-DC87400CB6EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6588a3c7c3aa61f3e1ea618b7a9a61062981cb9b","datavalue":{"value":{"entity-type":"item","numeric-id":2460197,"id":"Q2460197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1703b7d88414b2223e2f44e13b20a6459704fc8","datavalue":{"value":{"amount":"+0.7887423038482666","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":"Q3392924$70BC658C-292D-430C-913B-9EAA7759460F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca2d69905ed0014546bb83b3df387844e53b273c","datavalue":{"value":{"entity-type":"item","numeric-id":5215470,"id":"Q5215470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b72af403769e62de0498370932808ac4249af207","datavalue":{"value":{"amount":"+0.7548605799674988","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":"Q3392924$7CCF91F7-C050-453A-A987-EA83794790B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a835ed3321049360f4113303c775b5c1f797e9b","datavalue":{"value":{"entity-type":"item","numeric-id":5030186,"id":"Q5030186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"645a25896b84724032b91f35b91cd3a472bc6c85","datavalue":{"value":{"amount":"+0.7495591044425964","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":"Q3392924$949E87C6-2C36-495F-9D08-47D6711B3BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"febefa1fb3b2ead0166224dccfc7e9f86acf8e97","datavalue":{"value":{"entity-type":"item","numeric-id":1818075,"id":"Q1818075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f968e10447c7ff079d55e222f09fb959777cb6d","datavalue":{"value":{"amount":"+0.7490435242652893","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":"Q3392924$13971879-99EB-4D73-BCD1-47F6270A53CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"872f584a4282384d70d475f03d4d81c60001d481","datavalue":{"value":{"entity-type":"item","numeric-id":2516962,"id":"Q2516962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"774d65a66dee4c71a8346f28b56e4d578fa206f8","datavalue":{"value":{"amount":"+0.7413841485977173","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":"Q3392924$6D0E5613-D01C-4F0D-BF50-C84A0443EA24","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3392924","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3392924"}}}}}