{"entities":{"Q835783":{"pageid":837631,"ns":120,"title":"Item:Q835783","lastrevid":50756546,"modified":"2026-01-15T01:36:03Z","type":"item","id":"Q835783","labels":{"en":{"language":"en","value":"Model checking dynamic memory allocation in operating systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5600123"}},"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":"Q835783$82A07DE6-0F5D-4B57-8FB5-8BE0585C7D0A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85e24cee777adb0156d316ea4a1ab535e1307a40","datavalue":{"value":{"text":"Model checking dynamic memory allocation in operating systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q835783$EF6F6C4A-B4EF-46A6-B358-7C95296C15F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c47b63282c8a680748ba7f2a6db251c81f276fed","datavalue":{"value":"1192.68147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835783$7779AE94-1F68-4701-8131-789535BEFE77","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51be7fb864ec0e0d86e4142fdf7eb4aa73033bb2","datavalue":{"value":{"entity-type":"item","numeric-id":835781,"id":"Q835781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835783$012E7204-C586-433E-9508-BA347CC72F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92e29fdaa9716f3a52f3bf5f12f7a4609847621c","datavalue":{"value":{"entity-type":"item","numeric-id":263165,"id":"Q263165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835783$DB2791FB-528F-4642-BEC1-725CFB7EB76F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a952aaaf69ec7d1e12fb25db578dd88a813b537","datavalue":{"value":{"entity-type":"item","numeric-id":835782,"id":"Q835782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835783$F90A7B41-AFD5-4F0A-8FB5-73FFB301F58E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835783$D5989EBE-619D-45D8-B2E1-F57AE9FDAA29","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"049debda757703127da2fc03ca0a1b5b826f121d","datavalue":{"value":{"time":"+2009-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q835783$93265E70-7EF2-4113-BB3F-0D32C6FD0C59","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835783$8C4C33F1-6FE5-40C4-A50C-34DDF4E455C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835783$8E0301E5-A678-4E72-9314-242D2C122B9A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"111900fec104f514d0530b2e7c906e9528d73ce7","datavalue":{"value":"5600123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835783$74426358-8741-413B-9C0A-B72BA625A714","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfc50e9ebbf57fc1351f53c09824ae122040d0b1","datavalue":{"value":"dynamic memory allocation","type":"string"},"datatype":"string"},"type":"statement","id":"Q835783$FE20570E-5278-49F7-9373-909AF928E143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c7e463edd64cdf18c7d816e3d9e9c164a7208e","datavalue":{"value":"operating systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q835783$C5EAF42B-62D2-479A-BE50-CB8418D1C0EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q835783$27FDA40A-2F08-43D8-B0CF-BD179579E714","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c9003f58f646f9a87ebb26a08005383ab36dd0a3","datavalue":{"value":{"entity-type":"item","numeric-id":13228,"id":"Q13228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835783$CEEEBD51-8BC5-4C08-BA88-B45B5B81FFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b8c595ebeff3db9f2c5abab043e418dd92afdd42","datavalue":{"value":{"entity-type":"item","numeric-id":18927,"id":"Q18927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835783$CC4D197D-5C74-4A98-B2A0-8CA584F969CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0887771fa8fa24228e4b65a3b13091f37ff5ace9","datavalue":{"value":{"entity-type":"item","numeric-id":21462,"id":"Q21462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835783$4126250D-7F26-4EF8-8760-5734295131CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"47f960de4d53e18e0757a9f17e2bf4db153dde36","datavalue":{"value":{"entity-type":"item","numeric-id":19685,"id":"Q19685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835783$56CF1C9E-173F-4FA9-8893-C3236672EB57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bee5cb1919919ea97c6e467c1806a0893670d996","datavalue":{"value":{"entity-type":"item","numeric-id":14223,"id":"Q14223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835783$A4B8203B-9A08-4E06-8C12-7A8DCB1DF5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa0ba30f2225a69a75d233361703cec68c39010","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835783$43F609E9-E707-40CC-8805-77A4EC71F17D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835783$5B643B04-FDED-4CBC-9B5B-FE17874BE2C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c1eef2487d73673c3cf0577edb4fe33d201127ab","datavalue":{"value":{"entity-type":"item","numeric-id":17748,"id":"Q17748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835783$4DDFA565-D865-47CF-AD33-20E336A55055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc47147a404ecf949cf86c4e92d2dcc5a8bfafcc","datavalue":{"value":{"entity-type":"item","numeric-id":19680,"id":"Q19680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835783$7765FD70-AA84-4071-B8B9-BD69435F1071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a20498efd7672a526d616e86f695804b7273a736","datavalue":{"value":{"entity-type":"item","numeric-id":21867,"id":"Q21867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835783$7240B8D0-5657-4CA8-9CF8-B61283618BB6","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":"Q835783$4561526A-482D-4359-85C7-01F69920FF62","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0bb2c21ea57084cad95334015724c97fb195d760","datavalue":{"value":"https://doi.org/10.1007/s10817-009-9124-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q835783$C965AF84-D2B6-4E08-8CCE-55ED6ED10B68","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d3515a3f4e90a7d6a2328a2806435bd783893e5","datavalue":{"value":"W2045662659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835783$42C3670C-F0C1-459C-B840-29A4707F0C47","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3ca5a54c67c83770e613bb050b490ce10deacac","datavalue":{"value":{"entity-type":"item","numeric-id":3623007,"id":"Q3623007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835783$13617640-A339-47D7-9DCC-0A48706F9F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b6196bb057adc2087bd5262ca2bda33f9a480e1","datavalue":{"value":{"entity-type":"item","numeric-id":5308427,"id":"Q5308427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835783$5908E18B-3663-43B6-B8C6-869216F37E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7083949a8e3c286003903f0ccc99d6e0ed85bb21","datavalue":{"value":{"entity-type":"item","numeric-id":1863908,"id":"Q1863908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835783$F56B82C9-1AF6-486A-B748-925C0F51DDE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88dc6e57666b405edcb89a9b298632ab270537f8","datavalue":{"value":{"entity-type":"item","numeric-id":5703767,"id":"Q5703767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835783$B98C2D52-8F2E-4773-8204-6BA6B6FF22D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d8a2e65ef4c9f2ea093cb4ae2b4cf39166e690","datavalue":{"value":{"entity-type":"item","numeric-id":3613378,"id":"Q3613378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835783$C4E84FC1-D536-4DE4-9AF1-4FF3E74BF878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71fb79bcb4c2b3926a0c94247d2ceeebafe1f097","datavalue":{"value":{"entity-type":"item","numeric-id":5434501,"id":"Q5434501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835783$3AF72030-770C-4C29-89A7-97B563F6730B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e24ed71623d6e24c8ca66fec437f2e2cbe4112f","datavalue":{"value":{"entity-type":"item","numeric-id":5899065,"id":"Q5899065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835783$F6CA5A86-DFE5-496A-8BCB-CAC0513B2C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7d8c0e22cc6d5b8f5e5b95e505b643a065a9ef3","datavalue":{"value":{"entity-type":"item","numeric-id":1856163,"id":"Q1856163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835783$987E0391-677C-4570-B488-55FBDAB98240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d85c5f6fb0100cbbb82c4e902a2e6df4683bf8c2","datavalue":{"value":{"entity-type":"item","numeric-id":4531753,"id":"Q4531753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835783$D04B1404-47F6-41B3-A3A4-27CADC7D59F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1175367724993f3e0249db2e141c79883c1c01f4","datavalue":{"value":{"entity-type":"item","numeric-id":5711490,"id":"Q5711490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835783$E9375924-E111-4503-8ED3-2859EDFF7891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5216594ab26dc420117c0934281b2e8f583a7fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4255591,"id":"Q4255591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835783$3C039287-72FD-4D4E-92B5-5CF95EF6C2CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"809c39f447085694cde430904653e748ed79a45d","datavalue":{"value":{"entity-type":"item","numeric-id":4417895,"id":"Q4417895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q835783$8EC8A33C-5D20-4E15-9C38-033C76B49D81","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3dc1195763824f66b23cb4818a67ffa819e275e6","datavalue":{"value":"10.1007/S10817-009-9124-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q835783$F1E6F2A6-C019-4FA0-ABCC-FD4475B50E35","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5833252cb44bf547b05711ad6d2ed51de789a07","datavalue":{"value":{"entity-type":"item","numeric-id":5452713,"id":"Q5452713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"070c8cec1ec140eba1196a90cec82d832818ed64","datavalue":{"value":{"amount":"+0.788301944732666","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":"Q835783$5214E4F3-EF60-4E15-AFBE-6F8D58E3BD7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a7ba451de00e4f2424546f070f4738e1ea86ad5","datavalue":{"value":{"entity-type":"item","numeric-id":3613378,"id":"Q3613378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d197f125e29c5cc7ec36e470e2f8da9d4a7cca92","datavalue":{"value":{"amount":"+0.7513811588287354","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":"Q835783$E1B0C42A-BA54-4B2D-97E5-AB20AE6DFC0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebfb906a9656037721472a56ba99dbe61d2c330","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18dee4ede446dc1a35f4c5868a3b87c240501ad5","datavalue":{"value":{"amount":"+0.7511542439460754","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":"Q835783$ADA401DB-721D-48D4-B5E6-4D076721C302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe754d483eb7fbf9c412f3bff6d683833997b041","datavalue":{"value":{"entity-type":"item","numeric-id":2767990,"id":"Q2767990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18dee4ede446dc1a35f4c5868a3b87c240501ad5","datavalue":{"value":{"amount":"+0.7511542439460754","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":"Q835783$5ECC462F-5894-4EBD-9DBA-E4F498BF91CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49161caaa7eaf39f629db1a92ad320d38e825cea","datavalue":{"value":{"entity-type":"item","numeric-id":4472430,"id":"Q4472430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eece3bae7d026dcf8acc4e0c5453de91e8d87c18","datavalue":{"value":{"amount":"+0.749043881893158","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":"Q835783$00261DF3-4203-4801-A9E5-89E80945B5FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:835783","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:835783"}}}}}