{"entities":{"Q3221390":{"pageid":3232098,"ns":120,"title":"Item:Q3221390","lastrevid":45714721,"modified":"2025-12-16T17:37:46Z","type":"item","id":"Q3221390","labels":{"en":{"language":"en","value":"Unisex: A unix-based symbolic executor for pascal"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3888901"}},"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":"Q3221390$7EECD549-5B82-45A3-8899-F38514E37592","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"86656dc80f7a24cf80a7e02dfb4ad8c64b456361","datavalue":{"value":{"text":"Unisex: A unix-based symbolic executor for pascal","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3221390$1C2B4D51-9FCF-4155-B4BE-1CA84984C8E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17cf120240956bfaa76fdf885c03a6aee77c30b2","datavalue":{"value":"0557.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3221390$2FD9DCA9-A7CC-4D2A-8E61-BBDD0197AD7C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a63977dd0a6049c7512c3804fbb32ef0730664ea","datavalue":{"value":{"entity-type":"item","numeric-id":3221389,"id":"Q3221389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3221390$13287897-1F54-449B-950D-18CC502ED04E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1e9ee15e04024166fbc010b993d29589f250cf1","datavalue":{"value":{"entity-type":"item","numeric-id":1401258,"id":"Q1401258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3221390$8CE8BD35-915A-4A21-AC47-1DC95ED4A363","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6bbb50f7f5b3cd8a52a9219fdf89800968ce21d0","datavalue":{"value":{"entity-type":"item","numeric-id":111603,"id":"Q111603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3221390$D9626E9B-F7A3-4AF8-AF42-8EA99EAF0102","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3221390$196B3238-55B5-4F50-AF80-E2B76509F40A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3221390$A5DBF5C5-0C02-486A-A11D-81698AD85520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3221390$356A48FD-D4FD-4CE5-889B-A77F7B2501DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"146e49768aba16e958a0fc6866c046332ac49587","datavalue":{"value":"3888901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3221390$F1872E4F-E58A-46AC-942E-F3029D1F4B68","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0b02200c6b6f46ca6bdfe1551afa6691b5d3cb9","datavalue":{"value":"testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3221390$28A552B7-AF2C-4C53-97EC-905DEB94B7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3221390$BEF65F6D-0364-46E9-9630-DB1F174A6A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db5b365dc4ce0da9c706f26a1865dbf7922a3fc5","datavalue":{"value":"software tools","type":"string"},"datatype":"string"},"type":"statement","id":"Q3221390$E421804F-5CB5-4CE6-93B9-3E4EA79AD5C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d59f6dac69175320afa8795a031d48719725384","datavalue":{"value":"programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3221390$E4CE7092-E77E-47CD-B98B-A5FB87CF177A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c8a3771d592253533a2e546c05e00722cd3a680","datavalue":{"value":"languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3221390$DAC02439-C54D-473B-AB51-54DF3434F7E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e390ed5317c763bde8e57c2258bae2a6a55702a","datavalue":{"value":"program validation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3221390$1253A195-A28B-4B38-9078-9464455596F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dd490da9b67dc4fe4c624a05791d0c4fa27f2e","datavalue":{"value":"symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3221390$FEC64EC5-7B23-4081-AA7D-B1BA320F844A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c5d859b72f128c08f4d6da1b49fb4bea3878063","datavalue":{"value":{"entity-type":"item","numeric-id":14401,"id":"Q14401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3221390$3395FB3E-CFC0-44A5-8540-95852297472A","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":"Q3221390$34FB6DA9-316A-44BC-BBC0-F5F1D3409883","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bcc777b59dc1405a32b165f1930a97c08bd67fec","datavalue":{"value":"https://doi.org/10.1002/spe.4380150504","type":"string"},"datatype":"url"},"type":"statement","id":"Q3221390$75F9AAA9-0416-4CFB-982E-7349CC6985AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"86ccdba7f742cc112fde4e2834289f30f2ba9720","datavalue":{"value":"W2069296844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3221390$DB93A7D8-5052-4917-A61B-53E7E03D7C4C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b3646eeb8fcd65442e3d40b3ebb1bf6263b0387","datavalue":{"value":"10.1002/SPE.4380150504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3221390$3EAAF169-AEA5-4D7D-89C7-AF3333CEB432","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51272348d9127345e2de4f450c4329ade9a2f3f7","datavalue":{"value":{"entity-type":"item","numeric-id":3000656,"id":"Q3000656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19cfefed11633d4c245b91fe31a3c646bc245406","datavalue":{"value":{"amount":"+0.7985791","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3221390$97843777-011E-48AC-9DFF-31F2029204F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecf6dc5fe6210a3a6be01b84fb552494432f9880","datavalue":{"value":{"entity-type":"item","numeric-id":1183829,"id":"Q1183829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93dc8f20e8bddcf4974ccc3682f9124301fdaf60","datavalue":{"value":{"amount":"+0.79513645","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3221390$496B8F9E-B2B9-4D5C-82C2-8A706F290509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"540a26efb19992f6a4fcb31df0336738a537fbf1","datavalue":{"value":{"entity-type":"item","numeric-id":1183549,"id":"Q1183549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeaf2768d63dbf237c5cacb68769bb27f9c51300","datavalue":{"value":{"amount":"+0.7912991","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3221390$CCC65E1B-679E-4365-8E3B-5A6CE20FC863","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3221390","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3221390"}}}}}