{"entities":{"Q4321773":{"pageid":6351374,"ns":120,"title":"Item:Q4321773","lastrevid":47296807,"modified":"2026-01-01T06:43:19Z","type":"item","id":"Q4321773","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 715447"}},"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":"Q4321773$72F5835A-A8BC-4A6D-819D-3C79F7930EC0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d73a7d789683d90c936c51d60f6ee5609255d7ec","datavalue":{"value":"0834.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4321773$766D282D-3738-407B-8229-F1F2F3EE644C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f8fb2c5b479f72b999f63d82cb966184da84a35","datavalue":{"value":{"entity-type":"item","numeric-id":1853161,"id":"Q1853161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4321773$48D8358E-BA3B-4478-A7A1-69010B855C0D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28aeb38da3bffe355d0f923f6c108ac5e453728f","datavalue":{"value":{"time":"+1995-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4321773$82918023-43BE-4B8E-ADF5-EED4E4E7C455","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4321773$9BB81E5B-FE4A-40AF-9AF3-78FFF4D76C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4321773$C40C3B51-1E91-4B93-A20D-DEAD96C38DD6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7b4751c03bf975a7a3043194dcec7b1612ef173","datavalue":{"value":"715447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4321773$7DAA32A0-EFCD-4E99-BE87-ABAB9EB3F8A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fcc00594b5f5d1ff9864101655f51fd71432bbf","datavalue":{"value":"\\(Z\\) specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4321773$3D52EE21-618B-4FE0-A737-09C9C22B5B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"247f7877be576503b4dddaaecddb770a0c825138","datavalue":{"value":"specification methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q4321773$04E7C580-E659-471A-B2A4-85262D58F4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1657b9e302015499beb20eee5142470398e14a48","datavalue":{"value":"data refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q4321773$981D5718-65B7-4B6C-8A93-DF6BBBA2194C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f082d23ececda4495232af64202f592a5942f2","datavalue":{"value":"Floyd-Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4321773$96F560EE-0789-4768-ABEE-CB14335EE478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d8e8466f27a7e73ba9ba759ea5f8f7e13642381","datavalue":{"value":"Wing's library problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4321773$0791CE4C-52DA-466E-AB1E-B4DFAA5B1663","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":"Q4321773$940D8A5C-8A1A-4334-88DC-5F4E22185987","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"096fe8341700847e10b04857b15ccdee655ad3da","datavalue":{"value":{"entity-type":"item","numeric-id":3998261,"id":"Q3998261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"265f6edc961c179377ef1fb04d5f5879a8369cf7","datavalue":{"value":{"amount":"+0.9186227321624756","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":"Q4321773$D5F7D89C-7451-4A67-9127-FD04F172AB57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"895a357931741fda71c6ef808bd268396a7a7983","datavalue":{"value":{"entity-type":"item","numeric-id":3999778,"id":"Q3999778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30b9b12a417de66b05c17e7ac1fd66d8594b6874","datavalue":{"value":{"amount":"+0.8947781920433044","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":"Q4321773$A42B6EB2-B9E6-444F-BFB0-D449B03D6AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f41af085a62a9fe1b5659366434202d16a04036","datavalue":{"value":{"entity-type":"item","numeric-id":3995087,"id":"Q3995087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f977f1fb8406ba992c84e18a70205eaeb619a3ac","datavalue":{"value":{"amount":"+0.8916912078857422","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":"Q4321773$784F5B4D-A8F4-488F-A416-12E2E96EF21A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"418b8c621196baaa95516b7f0298e13c688041b2","datavalue":{"value":{"entity-type":"item","numeric-id":5287528,"id":"Q5287528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1357e8684bf4c045ab7dfdc718dd7433bc6b484b","datavalue":{"value":{"amount":"+0.875102698802948","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":"Q4321773$156AEAF5-9642-428B-8C79-831F3B570EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bb95ac63938cddaf154d3290568e8e6f413973c","datavalue":{"value":{"entity-type":"item","numeric-id":4267791,"id":"Q4267791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dfa5eee3baa4221c5da918dd4c5b3a810e89386","datavalue":{"value":{"amount":"+0.8729702234268188","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":"Q4321773$BC7062BE-5966-41BC-B2AF-C4BCD458C445","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4321773","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4321773"}}}}}