{"entities":{"Q5902538":{"pageid":8012190,"ns":120,"title":"Item:Q5902538","lastrevid":50871650,"modified":"2026-01-15T12:44:05Z","type":"item","id":"Q5902538","labels":{"en":{"language":"en","value":"Java's integral types in PVS."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5655960"}},"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":"Q5902538$F1191277-9C02-4646-BFDC-982C95AF032B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"363ca424090ed56c7c7a013242ba064621ef3cf7","datavalue":{"value":{"text":"Formal Methods for Open Object-Based Distributed Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5902538$505F563A-D7C0-4668-BDF9-3CD05C2522E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b7af5da7af7e73a5374255cf341eb4d2f9f6c5d","datavalue":{"value":"1253.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902538$809537BB-EDC4-457A-877E-B76C86DEC159","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a24a20456dfce72b4740899a4bd7c6aec9611b4","datavalue":{"value":{"entity-type":"item","numeric-id":225076,"id":"Q225076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902538$2456DF86-F91E-4409-B985-CE1DA30929C2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902538$7A771380-6D34-4D7B-9181-F865BD371E3B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"149999f0c51cbac40d9c91928c2dc96d82dca2c9","datavalue":{"value":{"time":"+2010-01-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":"Q5902538$A809C9DB-9A2F-4965-ADBD-6A33B176AFF7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902538$2F023443-6E41-44F9-9488-7AF37783E716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902538$E1609F8A-5360-45BB-900C-FBA7A4914FA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56fc3b4cbdb83ea0f8eb849209d673b7899c5a22","datavalue":{"value":"5655960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902538$269FBC51-37ED-4FDD-9365-63A560960926","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902538$A638CFC1-596F-4A9C-8692-05F239BD8618","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":"Q5902538$86B4AB73-96C1-4AEE-9E24-0F9D790C2247","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"60ecfb77cb46c115fc8dde8520100c4c50d11d0d","datavalue":{"value":"https://doi.org/10.1007/b94120","type":"string"},"datatype":"url"},"type":"statement","id":"Q5902538$BF9486F1-4DCC-4441-B5AB-F1FEB96797F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e073dc8678288ecd82bb6e5dc673ce7397119a7a","datavalue":{"value":"W4205898334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902538$48E948E4-31E4-4133-B65A-0E7D3F0DD4AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0efb0b5e33777c37dabb817e541725a6ed71c215","datavalue":{"value":"10.1007/B94120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902538$C34CD225-C956-4822-B42D-C9EAFD720845","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63c78236b9843884ac86331f035a32f23edc172e","datavalue":{"value":{"entity-type":"item","numeric-id":5953451,"id":"Q5953451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"709301841185ff86d04155e7d8ef5490134c9df7","datavalue":{"value":{"amount":"+0.71931391954422","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":"Q5902538$F035A611-5EB8-4AC8-94DF-69154115B79B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe5a37b1c080cc6749930416084e59c058a1126e","datavalue":{"value":{"entity-type":"item","numeric-id":2769440,"id":"Q2769440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a090d445b293b82f0cdb04f7ef07f530f983d9e3","datavalue":{"value":{"amount":"+0.7035752534866333","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":"Q5902538$A3BEA20D-C3D5-4D52-9EB3-3AA8A4F9B7D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfcee1337228d2b832d0586dc81ccf3907a10efa","datavalue":{"value":{"entity-type":"item","numeric-id":5716545,"id":"Q5716545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46e51874bfd2bf09b3b200e9f03a0810eb516a1f","datavalue":{"value":{"amount":"+0.6955694556236267","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":"Q5902538$01DF79A8-9F1A-4784-8997-5394D4B056CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcb36254aca9ce96e4bf6f89f2ebcd90cb9cd50c","datavalue":{"value":{"entity-type":"item","numeric-id":1874284,"id":"Q1874284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5991fa8dcb94e232d3e13ba1e629d967dc577171","datavalue":{"value":{"amount":"+0.6948673725128174","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":"Q5902538$9DA4EAD4-14E2-4040-B79A-78FADCA3B052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f3b07360cba833e3b52bd12f75610c7bf1124fb","datavalue":{"value":{"entity-type":"item","numeric-id":5464646,"id":"Q5464646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b5b452bd705aca33dbe220244412d01737bfc89","datavalue":{"value":{"amount":"+0.6884036660194397","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":"Q5902538$06DEE005-5794-41E9-8363-16CC6D74D6FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5902538","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5902538"}}}}}