{"entities":{"Q3142280":{"pageid":3152996,"ns":120,"title":"Item:Q3142280","lastrevid":86298305,"modified":"2026-06-03T18:09:41Z","type":"item","id":"Q3142280","labels":{"en":{"language":"en","value":"Static analysis of PostScript code"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 446253"}},"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":"Q3142280$DCDD2988-8F48-4640-BCD5-25A2DD0FA549","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"046bffb9c07990ee6aa74db6fcdb0e88204b821a","datavalue":{"value":{"text":"Static analysis of PostScript code","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3142280$28BB4915-E549-42CC-A5DB-BA73CA0EC893","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c346b7b926ff419819d0cf88d67390f1accdcd58","datavalue":{"value":"0778.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142280$E9A3500C-8436-46EA-8764-05552C5D3531","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c671ac84efaca431702081a4c671926364afb44b","datavalue":{"value":"10.1016/0096-0551(93)90002-I","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142280$84B29EEB-35AA-4294-8D8D-75F535C7ADF7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a5d56590b9e1f81c9a1dbdd959f0a581962a4fb","datavalue":{"value":{"entity-type":"item","numeric-id":995819,"id":"Q995819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142280$25FD578C-092D-4CD8-BB57-538C74FC53F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"928a1b04e04e51753431664748ac411b5ee3417a","datavalue":{"value":{"entity-type":"item","numeric-id":1108052,"id":"Q1108052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142280$70DEF740-86AD-47D8-9F77-F272663A837F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"303dafedc014c0fcf8bea9a3d20c503df66dd865","datavalue":{"value":{"entity-type":"item","numeric-id":2713369,"id":"Q2713369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142280$CB4C0340-F825-48E2-B987-4CC212208DDB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a041ac255fcd8e6d725677dd2f4aa6770323c3e","datavalue":{"value":{"time":"+1993-11-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":"Q3142280$E015C95E-E82C-4E2E-82D8-3C680CF21BFC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142280$F12F7552-B057-4501-9FCF-77149F13882E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142280$5BC27937-C421-48C0-B526-66907DA4DAD1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b695415ac28edad8864c3e4c692b43aeff62233","datavalue":{"value":"446253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142280$D66A4BA4-7B1C-42E1-B1C1-3E5F43190202","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fea62cf05c5b00633899d3a3537cc5f2e724c8e9","datavalue":{"value":"PostScript","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142280$F2A62A44-B0FB-4D70-8D76-0F952EC7AA5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142280$7DBA3A7D-644B-46D1-B9A6-3C859C6F3747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142280$DE933F08-5D2A-4C9F-99B3-D453AC088930","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":"Q3142280$B32BCB29-AAF6-4E46-82DE-323FA266AC18","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df06503da65b32df5dd5c189e8de28fe0df1beae","datavalue":{"value":"https://doi.org/10.1016/0096-0551(93)90002-i","type":"string"},"datatype":"url"},"type":"statement","id":"Q3142280$31272A6E-FE20-4E4D-9AFF-13C4D482A889","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f3db8ec9c32ac73f6255dd81bdb55b1d9fef954","datavalue":{"value":"W2649931049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142280$2934B1D8-EBA7-4299-AA69-5AAACC2F7114","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b979400ab646d7b1522a5269b3c5823457ac853e","datavalue":{"value":{"entity-type":"item","numeric-id":684389,"id":"Q684389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db1fe8f49c8ea4aa32d66abada6af1710cad24e6","datavalue":{"value":{"amount":"+0.6851888298988342","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":"Q3142280$F81334DF-4916-4D79-BA9F-30626C20BEDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41e23bb9a622502f6acd0710499181aa0f8a2584","datavalue":{"value":{"entity-type":"item","numeric-id":4738384,"id":"Q4738384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db1fe8f49c8ea4aa32d66abada6af1710cad24e6","datavalue":{"value":{"amount":"+0.6851888298988342","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":"Q3142280$9EE78D0B-EDAB-4632-93CF-6A5D4A34C934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38c67139b4ac18816427719d0bd5d5f2d59bec3d","datavalue":{"value":{"entity-type":"item","numeric-id":4255591,"id":"Q4255591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8d72fca02441f4368bb71f37311f8a27af915bc","datavalue":{"value":{"amount":"+0.6841205954551697","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":"Q3142280$7D3F50A1-EF3B-4CF7-B777-EA48F2358D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92dc4c2ef6c6dfcfd0f0e8c2181995c44bbf8a9b","datavalue":{"value":{"entity-type":"item","numeric-id":1179698,"id":"Q1179698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b6645157926ca9d0388e2b7d2d7850ea22b1afc","datavalue":{"value":{"amount":"+0.6808778047561646","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":"Q3142280$7B77845C-B9E5-4C5C-9CB6-A6D831D7E1F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daf623d5debefae0e181c39e9e5e761493cb1df1","datavalue":{"value":{"entity-type":"item","numeric-id":2722067,"id":"Q2722067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b6645157926ca9d0388e2b7d2d7850ea22b1afc","datavalue":{"value":{"amount":"+0.6808778047561646","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":"Q3142280$C90E1509-184F-4122-84EC-DE7786CC50DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Static analysis of PostScript code","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Static_analysis_of_PostScript_code"}}}}}